(define impc:ti:push_new_zone-check
(lambda (ast vars kts request?)
(if (<> (length ast) 2)
(impc:compiler:print-compiler-error "bad arity in call" ast))
(impc:ti:type-check (cadr ast) vars kts *impc:ir:si64*)
(list "%mzone*")))