/* * Debugging and diagnostic aides. */