//# run --args @0x1 @0x1 @0x1

// tests various mixed usage of signer in script arguments

main(s1: signer, s2: &signer, s3: signer) {
    label l0:
    return;
}


//# run --args @0x1 0 @0x1 false @0x1
main(s1: &signer, u: u64, s2: signer, f: bool, s3: &signer) {
    label l0:
    return;
}

//# run --args 0 false @0x1 @0x2 @0x3
main(u: u64, f: bool, a: address, s1: signer, s2: &signer) {
    label l0:
    return;
}