1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
/* Stuff needed by cdizy: */
typedef short Guard;

/* External functions, don't include standard libs because cdizy is weird */
extern int atoi (const char *nptr);
extern int printf(const char *format, ...);

/* In order to be able to inspect the result... */
int res, T_res;

void is_reachable(int O_a, int O_b, int O_time_limit)
{
  /* Declare guards */
  Guard T_G10 = 1;
  Guard G10 = 1;
  Guard T_G0 = 1;
  Guard G0 = 1;

  /* Declare/initialize tagged params */
  int T_O_a = O_a;
  int T_O_b = O_b;
  int T_O_time_limit = O_time_limit;

  /* Declare other variables */
  int O_dist;
  int O_result;
  int T_O_distance;
  int T_O_result;

  /* Here is the body! */
  G0 = O_a <= O_b;
  T_G0 = T_O_a <= T_O_b;
  if (G0) O_dist = (O_b - O_a);
  if (T_G0) T_O_distance = (T_O_b - T_O_a);

  if (!G0) O_dist = (O_a - O_b);
  if (!T_G0) T_O_distance = (T_O_a - T_O_b);

  G10 = O_dist <= (O_time_limit * 10);
  T_G10 = T_O_distance <= (T_O_time_limit * 10);
  if (G10) O_result = 1;
  if (T_G10) T_O_result = 1;

  if (!G10) O_result = 0;
  if (!T_G10) T_O_result = 0;



  /* Correlating point */
  { char *CP0; }

  /* Set the output... */
  res = O_result;
  T_res = T_O_result;
}