1typedef long int Int;
2void FuncMakeConsequencesPres (long *objDefs1)
3{
4  long a = (long)objDefs1;
5  int c = a & 0x01;
6  int b = 0;
7  if (!  ( 13 <= ( c ? 0 : (((int) objDefs1 & 0x02) ? 0 : *objDefs1  ))
8           && b <= 0))
9    ErrorQuit ();
10}
11
12