(module (func (export "thunk")) )