fun Ġsome ( x Ġ: ĠAny ) Ġ{ Ċ when Ġ( x ) Ġ{ Ċ is ĠInt Ġ-> Ċ 0 Ċ 3 Ġ-> Ċ 2 Ċ in Ġ 0 .. 3 Ġ-> Ċ 2 Ċ else Ġ-> Ċ 1 Ċ } Ċ when Ġ( x ) Ġ{ Ċ is ĠInt Ġ-> Ġ{ Ċ 0 Ċ } Ċ 3 Ġ-> Ġ{ Ċ 2 Ċ } Ċ in Ġ 0 .. 3 Ġ-> Ġ{ Ċ 2 Ċ } Ċ else Ġ-> Ġ{ Ċ 1 Ċ } Ċ } Ċ when Ġ( x ) Ġ{ Ċ is ĠInt Ġ-> Ċ { Ċ 0 Ċ } Ċ 3 Ġ-> Ċ { Ċ 2 Ċ } Ċ in Ġ 0 .. 3 Ġ-> Ċ { Ċ 2 Ċ } Ċ else Ġ-> Ċ { Ċ 1 Ċ } Ċ } Ċ when Ġ( x ) Ġ{ Ċ is Ċ Int Ċ -> Ċ { Ċ 0 Ċ } Ċ 3 Ċ -> Ċ { Ċ 2 Ċ } Ċ in Ċ 0 .. 3 Ċ -> Ċ { Ċ 2 Ċ } Ċ else Ċ -> Ċ { Ċ 1 Ċ } Ċ } Ċ } Ċ // ĠSET _ TRUE : ĠALLOW _ TR AIL ING _ COMMA