These debugging routines should not be commented out.