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