Module Cil_const.Sid

val next : unit -> int