Symbol: in_obp_range