1  char l7_en;
       2  long long l6_data_Z_0th;
       3  int t;
       4  void f()
       5  {
       6    if (((char )(l6_data_Z_0th>>1 & 1U)) & ((l6_data_Z_0th & 1U)
       7       | !(((char )(l6_data_Z_0th>>35 & 15U))==14U)))
       8      t = 0ULL;
       9  }
      10