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