import 0x0.LibraAccount;
import 0x0.LibraCoin;

main() {
    let ten_coins: R#LibraCoin.T;
    ten_coins = LibraAccount.withdraw_from_sender(10);
    release(move(ten_coins));

    return;
}

// check: VerificationError
// check: ReleaseRefTypeMismatchError(4)