let make_array ty =
    debug "[make_array] %a" !Ast_printer.d_type ty;
    TArray(ty,None,{scache=Cil_types.Not_Computed},[])