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

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