413   static const TypeInt *CC_GT;  // [1]   == ONE

   413   static const TypeInt *CC_GT;  // [1]   == ONE

   414   static const TypeInt *CC_EQ;  // [0]   == ZERO

   414   static const TypeInt *CC_EQ;  // [0]   == ZERO

   415   static const TypeInt *CC_LE;  // [-1,0]

   415   static const TypeInt *CC_LE;  // [-1,0]

   416   static const TypeInt *CC_GE;  // [0,1] == BOOL (!)

   416   static const TypeInt *CC_GE;  // [0,1] == BOOL (!)

   417   static const TypeInt *BYTE;

   417   static const TypeInt *BYTE;

   418   static const TypeInt *CHAR;

   419   static const TypeInt *CHAR;

   419   static const TypeInt *SHORT;

   420   static const TypeInt *SHORT;

   420   static const TypeInt *POS;

   421   static const TypeInt *POS;

   421   static const TypeInt *POS1;

   422   static const TypeInt *POS1;

   422   static const TypeInt *INT;

   423   static const TypeInt *INT;