Disallow #[no_mangle]