(define impc:ti:create_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*")))