extern void printf(char *, ...);
#define E(n) { printf("Error %d\n", n); return n; }

// from linux sources
int tickadj1 = 500/ 100  ? : 1;
int tickadj2 = 0 / 100 ? : 1;

int main() {
  if(tickadj1 != 5) E(1);
  if(tickadj2 != 1) E(2);

  return 0;
}