Preliminaries for debugging.