Module Cil_const.Eid

val next : unit -> int