If this is positive, it's a block number, otherwise it's a bitwise-negated index into dw_ranges_by_label.