/* DumpIntTT is MBE and embeds a type encoding for string length and integers. It also handles negative integers by forcing the type to LUAU_TNUMNINT. 0TTTNNNN or 1TTTNNNN (1NNNNNNN)* 0NNNNNNN  */
static void DumpIntTT(lu_byte tt, lua_Integer y, DumpState *D)
/* DumpIntTT is MBE and embeds a type encoding for string length and integers. It also handles negative integers by forcing the type to LUAU_TNUMNINT. 0TTTNNNN or 1TTTNNNN (1NNNNNNN)* 0NNNNNNN  */
static void DumpIntTT(lu_byte tt, lua_Integer y, DumpState *D)
{ *b-- = 0x80 + (x & 0x7f); x >>= 7; }
  b++;
  if (*b & cast(lu_byte, LUAU_TMASK) )
    *--b = 0x80;
  *b |= (y >= 0) ? tt: LUAU_TNUMNINT;
  lua_assert (b >= buf);
  DumpVector(b, (buf - b) + sizeof(buf), D);
}