/*
 * Graphic screen library. Screen size: 8192
 */
class Screen {

    // Initializes the Screen.
    function void init() {
    }

    // Erases the whole screen.
    function void clearScreen() {
    }

    // Sets the color to be used in further draw commands
    // where white = false, black = true.
    function void setColor(boolean b) {
    }

    function void drawPixel(int x, int y) {
    }

    // Draws a line from pixel (x1, y1) to (x2, y2)
    function void drawLine(int x1, int y1, int x2, int y2) {
    }

    // Draws a filled rectangle where the top left corner
    // is (x1, y1) and the bottom right corner is (x2, y2).
    function void drawRectangle(int x1, int y1, int x2, int y2) {
    }

    // Draws a filled circle of radius r around (cx, cy).
    function void drawCircle(int cx, int cy, int r) {
    }
}