1.1.25 $HINTS : Emit hints

f$HINTS ONg switches the generation of hints on. f$HINTS OFFg switches the generation of hints o. Contrary to the command line option -vh this is a local switch, this is useful for checking parts of the code.