address 0x42 { module M { struct R has key {} public fun new(): R { R {} } } } script { use 0x42::M; fun test(account: signer) { let r = M::new(); borrow_global(@0x1); move_to(&account, r); } }