// ĠTARGET _ BACKEND : ĠJVM Ċ // ĠMODULE : Ġlib Ċ // ĠFILE : ĠJava Class . java Ċ Ċ class ĠJava Class Ġ{ ĊĠĠĠ Ġpublic Ġstatic Ġvoid Ġrun ( Runnable Ġr ) Ġ{ ĊĠĠĠĠĠĠĠ Ġr . run (); ĊĠĠĠ Ġ} Ċ } Ċ Ċ // ĠMODULE : Ġmain ( lib ) Ċ // ĠFILE : Ġ 1 . kt Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġvar Ġv Ġ= Ġ" FAIL " ĊĠĠĠ Ġval Ġf Ġ= Ġ{ Ġv Ġ= Ġ" OK " Ġ} ĊĠĠĠ ĠJava Class . run ( f ) ĊĠĠĠ Ġreturn Ġv Ċ } Ċ