// (address, u64) args to main(u64, address) is an error

//! args: 0x1, 42

main(val: u64, addr: address) {
    return;
}

// check: Discard
// check: TypeMismatch