of attributes [...] Attribute : This filter [...] of the {attribute 'symbol' :=
using the {attribute [...] for testing purposes [...] When attribute pragmas