code: def test_hd_tl():
      expected = list(range(10))
      l = nil()
      for i in reversed(expected):
          l = cons(make_nat_expr(prelude, i), l)
  
      got = []
      for i in range(len(expected)):
          got.append(count(eval(hd(l))))
          l = tl(l)
  
      assert got == expected
  
imports: import pytest
  import tvm
  from tvm import relay
  from tvm.relay import testing
  from tvm.relay.backend.interpreter import ConstructorValue
  from tvm.relay import create_executor
  from tvm.relay.prelude import Prelude, StaticTensorArrayOps
  from tvm.relay.testing import count, make_nat_value, make_nat_expr
  import numpy
label_desc: Use image node_id 12 for calling a global function with example usage: test_hd_tl() without return types