(module (func (export "a") unreachable) )