utilities for source code debugging
