/* * Diagnostic helpers. */