sig val loc : Cil_types.location end