Symbol: pf_in_bus_range