    "description": "Compiler builtins supported by Frama-C (for GCC builtins, see gcc_builtins.json)",
