EXTENSIONS #WITH-FIG EXTENSIONS !USE EXTENSIONS #WITH-NO-FFA
EXTENSIONS #WITH-FIG EXTENSIONS #WITH-FIG

no special info, see general notes

useful ordinary constant