// ĠWITH _ RUNTIME Ċ Ċ val Ġxs Ġ= ĠArray ( 2 ) Ġ{ Ġ 4 2 u Ġ} Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġxs [ 0 ] Ġ= Ġ 1 2 u ĊĠĠĠ Ġval Ġt Ġ= Ġxs [ 0 ] ĊĠĠĠ Ġif Ġ( t Ġ!= Ġ 1 2 u ) Ġthrow ĠAssertionError ("$ t ") ĊĊĠĠĠ Ġreturn Ġ" OK " Ċ }