/**** File 'issue_168.c' ****/
#include <stdio.h>
float buzz(int *A, double *B, char C[]) {
   for(int i = 0; i < 100; i++) {
      C[i] = 0;
   }
   int *X;
   for(int i = 0; i < 100; i++) {
      int decomp_0;
      decomp_0 = C[i] + 1;
      C[i] = decomp_0;
      for(int j = 0; j < 100; j++) {
         int decomp_0;
         int decomp_1;
         decomp_1 = C[i] > 0;
         decomp_0 = decomp_1;
         if(decomp_0) return 0.3;
         int decomp_2;
         decomp_2 = C[j] + 2;
         C[j] = decomp_2;
         for(int k = 0; k < 100; k++) {
            int decomp_3;
            decomp_3 = C[k] + 3;
            C[k] = decomp_3;
            int decomp_1;
            int decomp_4;
            decomp_4 = C[k] > 0;
            decomp_1 = decomp_4;
            if(decomp_1) {

               return 0.4;
            }
            for(int l = 0; l < 100; l++) {
               int decomp_5;
               decomp_5 = C[l] + 4;
               C[l] = decomp_5;
            }
         }
      }
   }

   return 0.6;
}
/**** End File ****/
