=======================================================================
=== certified/13.8-cert3
=== Currently Held Locks
=======================================================================
===
=== <pending> <lock#> (<file>): <lock type> <line num> <function> <lock name> <lock addr> (times locked)
===
=== Thread ID: 0x7f7f88945700 LWP:7627 (logger_thread        started at [ 1595] logger.c init_logger())
=== ---> Lock #0 (logger.c): RDLOCK 1374 logger_print_normal &(&verbosers)->lock 0x965c50 (1)
	main/backtrace.c:59 __ast_bt_get_addresses() (0x467f2c+1D)
	main/lock.c:864 __ast_rwlock_rdlock() (0x53a375+BA)
	main/logger.c:1375 logger_print_normal()
	main/logger.c:1515 logger_thread()
	main/utils.c:1237 dummy_start()
	pthread_create.c:0 start_thread()
	:0 __clone() (0x7f7f8a03ba40+6D)
=== -------------------------------------------------------------------
===
=======================================================================