//# publish
module 0x1.A {
    three(): u64 * u64 * u64 {
    label b0:
        return 0, 1, 2;
    }

    pop() {
    label b0:
        // correct amount of pops
        _, _, _ = Self.three();
        return;
    }
}