(bind-func cons_h:[List{!a}*,!a,List{!a}*]* (lambda (x y) (let ((obj (halloc))) (tset! obj 0 x) (tset! obj 1 y) obj)))