code: def make_nat_expr(prelude, n):
      """Given a non-negative Python integer, constructs a Python
      expression representing that integer's value as a nat.
      """
      assert n >= 0
      _, z, s = prelude.mod.get_type("nat")
      ret = z()
      while n > 0:
          ret = s(ret)
          n = n - 1
      return ret
  
imports: from tvm.relay.backend.interpreter import ConstructorValue
label_desc: Use image node_id 4 for calling a global function with example usage: make_nat_expr(prelude, n) and returns: ret