@$pb.TagNumber(9) $core.String get tokenPointer => $_getSZ(8);
@$pb.TagNumber(9) set tokenPointer($core.String v) { $_setString(8, v); }