// ĠIG NORE _ BACKEND _ FI R : ĠJVM _ IR Ċ fun Ġfoo () Ġ{ ĊĠĠĠ Ġvar Ġx Ġ= Ġ 0 ĊĠĠĠ Ġdo Ġ{ ĊĠĠĠĠĠĠĠ Ġx ++ ĊĠĠĠĠĠĠĠ Ġvar Ġy Ġ= Ġx Ġ+ Ġ 5 ĊĠĠĠ Ġ} Ġwhile Ġ( y Ġ< Ġ 1 0 ) ĊĠĠĠ Ġif Ġ( x Ġ!= Ġ 5 ) Ġthrow ĠAssertionError ("$ x ") Ċ } Ċ Ċ fun Ġbar () Ġ{ ĊĠĠĠ Ġvar Ġb Ġ= Ġfalse ĊĠĠĠ Ġdo Ġ{ ĊĠĠĠĠĠĠĠ Ġvar Ġx Ġ= Ġ" X " ĊĠĠĠĠĠĠĠ Ġvar Ġy Ġ= Ġ" Y " ĊĠĠĠĠĠĠĠ Ġb Ġ= Ġtrue ĊĠĠĠ Ġ} Ġwhile Ġ( x Ġ+ Ġy Ġ!= Ġ" XY ") ĊĠĠĠ Ġif Ġ(! b ) Ġthrow ĠAssertionError () Ċ } Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġfoo () ĊĠĠĠ Ġbar () ĊĠĠĠ Ġreturn Ġ" OK " Ċ } Ċ