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