let isTypeVolatile t = let br = ref false in let vis = new volatileFinderClass br in ignore(visitCilType vis t); !br