Some debugging exercises