let rec print_ctt_initializer = function
    CTTinitExp e -> print_expr e
  | CTTinitList l ->
      let rec continue = function
          [] -> ""
        | i::[] -> print_ctt_initializer i
        | i::l -> (print_ctt_initializer i)^", "^(continue l)
      in
      "{"^(continue l)^"}"