c11-keywords.4.res.oracle

[kernel] Parsing c11-keywords.c (with preprocessing)
[kernel] c11-keywords.c:33: User Error: 
  _Decimal32 is currently unsupported by Frama-C.
[kernel] Frama-C aborted: invalid user input.