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

//! args: 0x1

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

// check: Discard
// check: TypeMismatch