//# publish
module 0x1.A {
    public ones_tens(f: u64): u64 * u64 {
        let k: u64;
        let m: u64;
    label b0:
        k = copy(f) % 10;
        m = (move(f) % 100) - copy(k);
        return move(k), move(m);
    }
}


//# run
import 0x1.A;

main() {
    let x: u64;
    let y: u64;
    let z: u64;
label b0:
    x = 143;
    y, z = A.ones_tens(move(x));
    assert(move(y) == 3, 42);
    assert(move(z) == 40, 42);
    return;
}