It is very useful when debugging. This code gets executed only with
special DEBUG policy so we do not need to worry about maximum performance.