let rec convert_initializer ~env = function
    CTTinitExp e -> PinitExp(convert_expr ~env e)
  | CTTinitList l -> PinitList(List.map (convert_initializer ~env) l)