Symbol: check_fr_bounds