Symbol: in_hblk_range