CT_INT
c = CT_INT;
c = CT_INT;
c = CT_INT;
c = CT_INT;
c = CT_INT;
c = CT_INT;
c = CT_INT; /* assumes sizeof(uintmax_t) */
case CT_INT:
c = CT_INT;
c = CT_INT;
c = CT_INT;
c = CT_INT;
c = CT_INT;
c = CT_INT;
c = CT_INT; /* assumes sizeof(uintmax_t) */
case CT_INT:
c = CT_INT;
c = CT_INT;
c = CT_INT;
c = CT_INT;
c = CT_INT;
c = CT_INT;
case CT_INT: