chasing symbolic bug