1  typedef struct atype
       2  {
       3      float bg[1], cg[1];
       4      _Bool ant;
       5  }atype;
       6  
       7  
       8  void cp_assert(_Bool*, float*, int*, _Bool*);
       9  
      10  void f(atype **rng_stream, int *error, float u)
      11  {
      12      _Bool t = *rng_stream != 0;
      13      float routinep;
      14      _Bool failure;
      15      cp_assert ( &t, &routinep, error, &failure);
      16      if (failure == 0)
      17      {
      18          typedef float ty[1];
      19          ty *tt = &((*rng_stream)->bg);
      20          int i = 1;
      21  
      22          do 
      23          {
      24              (*tt)[i - 1] = u;
      25              i ++;
      26          }while (i > 1);
      27          {
      28              ty *tt = &(*rng_stream)->cg;
      29              int i = 1;
      30  
      31              do 
      32              {
      33                  (*tt)[i - 1] = u;
      34                  i ++;
      35              }while (i > 1);
      36          }
      37      }    
      38  }
      39  
      40