// ĠIG NORE _ BACKEND _ FI R : ĠJVM _ IR Ċ fun Ġfoo ( block : Ġ( String , ĠString , ĠString ) Ġ-> ĠString ): ĠString Ġ= Ġblock (" O ", Ġ" fail ", Ġ" K ") Ċ Ċ fun Ġbox () Ġ= Ġfoo ( fun ( x : ĠString , Ġ_: ĠString , Ġy : ĠString ) Ġ= Ġx Ġ+ Ġy ) Ċ