Symbol: bman_is_probed