utilities for source code debugging