@$pb.TagNumber(17) Receipt get receipt => $_getN(14);
@$pb.TagNumber(17) set receipt(Receipt v) { setField(17, v); }