(define impc:ti:push_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 "%mzone*") (list "%mzone*")))