val Ġcode _ 0 Ġ= Ġ 0 Ċ val Ġcode _ 1 Ġ= Ġ 1 Ċ val Ġcode _ a Ġ= Ġ" a " Ċ val Ġcode _ b Ġ= Ġ" b " Ċ val Ġl _ b Ġ= Ġset Of ( code _ a ) Ċ val Ġl _ c Ġ= Ġhash Map Of ( code _ b Ġto Ġcode _ 0 ) Ċ fun Ġmain ( argv : ĠArray < String >) Ġ{ ĊĠĠĠ Ġassert (" a " Ġin Ġl _ b ) ĊĠĠĠ Ġprintln (" OK ") Ċ } Ċ