/*
 * A basic system services library.
 */
class Sys {

    // Makes all required initializations.
    function void init() {
    }

    // Halts the execution.
    function void halt() {
    }

    // Waits approximately duration milliseconds before it returns.
    function void wait(int duration) {
    }

    // prints the given error code in the form "ERR<errorCode>", and halts.
    function void error(int errorCode) {
    }
}