(define impc:ti:check-memzone-void?
(lambda (ast)
(if (atom? ast)
(if (equal? ast 'void) #t #f)
(if (list? ast)
(if (null? ast)
#f
(impc:ti:check-memzone-void? (car (reverse ast))))
#f))))