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