Ranges in the .debug_range section need to have begin and end labels,
assert that this is so.