static void DeserializeTrueThunkReader(ref ThunkReader reader, ObjectBuilder builder)
{
var c = reader.Read();
if (c != 'r') throw new DeserializationException("Expected r", ref reader, c == -1);
c = reader.Read();
if (c != 'u') throw new DeserializationException("Expected u", ref reader, c == -1);
c = reader.Read();
if (c != 'e') throw new DeserializationException("Expected e", ref reader, c == -1);
builder.PutTrue();
}