module EmptyProgram {
    void run() {
    }
}