TX pin (should match Arduino gpio pin number)
@$pb.TagNumber(4) $core.int get txd => $_getIZ(3);
@$pb.TagNumber(4) set txd($core.int value) => $_setUnsignedInt32(3, value);