Added more printing routines to help with deadlock detection