symbolic bug