Wirth_syntax_notation