more examples in debugging