let file = ref Cil.dummyFile