[kernel] Parsing array_cast_bts1099.i (no preprocessing)
[kernel] array_cast_bts1099.i:12: User Error: 
  explicit cast: cast over a non-scalar type t
  10      int tab1[4];
  11      u* p = &tab1;
  12      t* p2 = (t) p;
                  ^^^^^
  13    }
[kernel] Frama-C aborted: invalid user input.