The following attributes are registered to Frama-C's list of known
attributes:
- fc_implicit
- fc_pure_template_decl