let debug = ref (Cilmsg.debug_atleast 2)