-- Andreas, 2021-02-03 -- If one block comment delimiter is empty, that's an error. comment "/*" ""; -- forgotten close