//# publish
module 0x42.M {
    t(s: signer): signer {
    label b0:
        // signer does not have copy
        return copy(s);
    }
}