typedef unsigned long long UINT64;
typedef signed long long   INT64;

int main (void)
{
   UINT64 five = 5U;
   UINT64 ten = 10U;

   if (five < ten)
      return 0;

   return 1;
}