-- Andreas, 2021-02-03
-- If one block comment delimiter is empty, that's an error.

comment "/*" ""; -- forgotten close