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