Symbol: trace_check_bounds