//# run --signers 0x1
main(s: signer) {
label b0:
    return;
}

//# run --signers 0x1 --args 0
main(s: signer, u: u64) {
label b0:
    return;
}

//# run --signers 0x1 --args 0 @0x1
main(s: signer, u: u64, b: address) {
label b0:
    return;
}