;; Function f (f) f (int start, int end, int * a, int * b, int c, struct s * sp) { unsigned int D.2064; unsigned int D.2065; unsigned int D.2066; long unsigned int D.2067; long unsigned int D.2068; long unsigned int D.2069; int * D.2063; int * D.2062; int * D.2059; long unsigned int D.2056; long unsigned int D.2057; int * D.2058; long unsigned int ivtmp.16; int D.2042; unsigned int D.2043; unsigned int D.2045; int D.2046; int count; int (*) (const char *, void *, int *) D.2022; void * D.2021; struct s * D.2020; int D.2019; int D.2018; : if (start_4(D) <= end_6(D)) goto ; else goto ; : D.2064_53 = (unsigned int) end_6(D); D.2065_54 = (unsigned int) start_4(D); D.2066_55 = D.2064_53 - D.2065_54; D.2067_56 = (long unsigned int) D.2066_55; D.2068_57 = D.2067_56 + 1; D.2069_58 = D.2068_57 * 4; : # ivtmp.16_43 = PHI D.2056_45 = (long unsigned int) start_4(D); D.2057_46 = D.2056_45 * 4; D.2058_47 = b_13(D) + D.2057_46; D.2059_48 = D.2058_47 + ivtmp.16_43; D.2018_15 = MEM[base: D.2059_48, offset: 0B]; D.2019_17 = D.2018_15 + c_16(D); D.2062_51 = a_9(D) + D.2057_46; D.2063_52 = D.2062_51 + ivtmp.16_43; MEM[base: D.2063_52, offset: 0B] = D.2019_17; ivtmp.16_44 = ivtmp.16_43 + 4; if (ivtmp.16_44 != D.2069_58) goto ; else goto ; : D.2042_38 = ~start_4(D); D.2043_39 = (unsigned int) D.2042_38; D.2045_41 = D.2043_39 + D.2064_53; D.2046_42 = (int) D.2045_41; count_37 = D.2046_42 + 2; : # count_11 = PHI D.2020_21 = sp_20(D)->s; D.2021_22 = D.2020_21->vp; D.2022_23 = (int (*) (const char *, void *, int *)) D.2021_22; D.2022_23 ("Hello World!\n", exit, &M_var); return count_11; } ;; Function g (g) g (int i) { unsigned int D.2029; unsigned int csui.0; int D.2012; : D.2029_7 = (unsigned int) i_2(D); csui.0_8 = D.2029_7 + 4294967295; if (csui.0_8 <= 4) goto (); else goto (); : D.2012_6 = CSWTCH.1[csui.0_8]; # D.2012_1 = PHI : : return D.2012_1; }