(module (func return))