9227047ec5
# this really should be done with pthread_once, but I've debugged this code. Reviewed by: arch@
# this really should be done with pthread_once, but I've debugged this code. Reviewed by: arch@