void test_lock1           ();
void test_lock2           ();
void test_lock_recursive1 ();
void test_lock_recursive2 ();