!747 !x721 // thread { m { static String helloString; static S programID; // filled by JavaX static int port; // use random port p { helloString = "Hello. This is #" + programID; // my hello string port = installHelloMessage(helloString); print("Hello world. Sleeping. Port=" + port); sleep(); } }