(define impc:ti:void-check (lambda (ast vars kts request?) (if (> (length ast) 1) (impc:compiler:print-compiler-error "void does not take any arguments") (list *impc:ir:void*))))