let null_location : Cil_types.location =
  (null_position, null_position)