"\n" " "+ "\n" > "\n\n";
"\n" " "+ "(*" > "\n(*";
"PROCEDURE" ?* "(*"[~o] > 0 "\\indentprocspec " 
"INTERFACE" .* ";" > "(* \"" 0 "\" *)"
"END" ws word "." > "(* \"" 0 "\" *)"