--
-- This file has been auto-generated by egison-translator.
--

def mickey' (cs: [Char]) : [Char] :=
  match cs as list char with
    | (($hs & _ *: _) *: $x) *: $y *: $z ->
      mickey' hs ++ [',', x, y, z]
    | _ -> cs

def mickey (s: String) : String := pack (mickey' (unpack s))

mickey "10000000000"