let rec translate_initializer = function
    CTTinitExp e -> CTTMinitExp (translate e)
  | CTTinitList l -> CTTMinitList (List.map translate_initializer l)