debugging CSE example from cesar