(define impc:ir:void? (lambda (type) (let ((t (impc:ir:str-list-check type))) ;; (println 'type: type 't: t) (if (string? t) #f (if (= t *impc:ir:void*) #t #f)))))