This article is from the FAQ, by with numerous contributions by others.
At different places in the Mjolner System interface files, you may encounter
comments of the form (* idx=2 *), (* idx+ *), or (* idx- *). These are not
compiler options - the compiler totally ignores all comments. Instead, the
comments are used for formatting the interface files for the documentation.
They can be safely ignored.