@$pb.TagNumber(12) $core.int get width => $_getIZ(11);
@$pb.TagNumber(12) set width($core.int value) => $_setUnsignedInt32(11, value);