MODULE JunoRTError;

BEGIN
  names := ARRAY Code OF TEXT{
    "No error",
    "Executed ABORT",
    "Executed HALT",
    "Guard failed",
    "Undefined term",
    "Built-in procedure failed",
    "Use of an uninitialized variable"}
END JunoRTError.