(module (export "" (func 0)))