    "description": "GCC builtins supported by Frama-C",
