(module (type (func)))
