//# publish
module 0x1.M {
    struct Coin { value: u64 }
    t(): Self.Coin {
    label b0:
        // cannot pop without the drop ability
        _ = Coin { value: 0 };
        return;
    }
}