#WITH-FIG #TIB #WITH-NO-FFA
#WITH-FIG #WITH-FIG

[] no special info, see general notes

EXTENSIONS useful ordinary constant