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

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

//# run --args @0x1 0 @0x2
// no longer an invalid signature, after V5
main(s: signer, u: u64, s2: signer) {
label b0:
    return;
}