// (u64, address) args to main(u64, address) is good - with assert firing on u64

//! args: 1, {{default}}

main(val: u64, addr: address) {
    assert(copy(val) == 10, 42);
    return;
}

// check: Execution
// check: Aborted(42)