`method_return` might need to be mangled?