//# run --signers 0x1
import 0x1.signer;

main(account: signer) {
    let sender: address;
    let addr: address;
label b0:
    sender = signer.address_of(&account);
    addr = 0x1;
    assert(copy(sender) == copy(addr), 42);
    return;
}