//# run --signers 0x1
main(s: signer) {
label b0:
    assert(&s == &s, 42);
    assert(!(&s != &s), 42);
    return;
}