import static kiss.API.*;

class App {
    void run() {
        println("Hello, World!");
    }
}

@@ -32,16 +32,210 @@
 s App %7B%0A
+    void testRun() %7B%0A        outOpen(%22testRun.verify%22);%0A        println(%22Hello, World!%22);%0A        outClose();%0A%0A        outVerify(%22testRun.verify%22);%0A        run();%0A        outClose();%0A    %7D%0A    %0A
     void

test hello