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)^"}"