We refer to them below as the RSL library files . The command rslcomp X will compile and link the files X.h and X.cc to make an executable X . Two kinds of messages may be produced during translation. Error messages indicate something that could not be translated. The cause of the error must be corrected and the translator run again.
Examples are value definitions without bodies and implicit function or value definitions.
During execution, run-time error messages may be produced. There are as follows, where x and y indicate values that are part of the generated message. This eases the integration of code from the translator with hand-written code. They always start with the original name.