;; Function f (f)



 local analysis of f
   scanning: if (start_4(D) <= end_6(D))
  scanning: D.2064_53 = (unsigned int) end_6(D);
  scanning: D.2065_54 = (unsigned int) start_4(D);
  scanning: D.2066_55 = D.2064_53 - D.2065_54;
  scanning: D.2067_56 = (long unsigned int) D.2066_55;
  scanning: D.2068_57 = D.2067_56 + 1;
  scanning: D.2069_58 = D.2068_57 * 4;
  scanning: D.2056_45 = (long unsigned int) start_4(D);
  scanning: D.2057_46 = start_4(D) w* 4;
  scanning: D.2058_47 = b_13(D) + D.2057_46;
  scanning: D.2059_48 = D.2058_47 + ivtmp.16_43;
  scanning: D.2018_15 = MEM[base: D.2059_48, offset: 0B];
    Indirect ref read is not const
  scanning: D.2019_17 = D.2018_15 + c_16(D);
  scanning: D.2062_51 = a_9(D) + D.2057_46;
  scanning: D.2063_52 = D.2062_51 + ivtmp.16_43;
  scanning: MEM[base: D.2063_52, offset: 0B] = D.2019_17;
    Indirect ref write is not const/pure
  scanning: ivtmp.16_44 = ivtmp.16_43 + 4;
  scanning: if (ivtmp.16_44 != D.2069_58)
  scanning: D.2042_38 = ~start_4(D);
  scanning: D.2043_39 = (unsigned int) D.2042_38;
  scanning: D.2045_41 = D.2043_39 + D.2064_53;
  scanning: D.2046_42 = (int) D.2045_41;
  scanning: count_37 = D.2046_42 + 2;
  scanning: D.2020_21 = sp_20(D)->s;
    Indirect ref read is not const
  scanning: D.2021_22 = D.2020_21->vp;
    Indirect ref read is not const
  scanning: D.2022_23 = (int (*<T264>) (const char *, void *, int *)) D.2021_22;
  scanning: D.2022_23 ("Hello World!\n", exit, &M_var);
  scanning: return count_11;
Function is locally looping.

;; Function g (g)



 local analysis of g
   scanning: D.2029_7 = (unsigned int) i_2(D);
  scanning: csui.0_8 = D.2029_7 + 4294967295;
  scanning: if (csui.0_8 <= 4)
  scanning: <L9>:
  scanning: D.2012_6 = CSWTCH.1[csui.0_8];
  scanning: <L10>:
  scanning: <L7>:
  scanning: return D.2012_1;
Function is locally const.