Wirth_syntax_notation loading ...