d140ab1c44
# 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@