thread_create ("acquire2", PRI_DEFAULT + 2, acquire_thread_func, &lock);
printf ("This thread should have priority %d. Actual priority: %d.\n",
PRI_DEFAULT + 2, thread_get_priority ());
thread_create ("acquire2", PRI_DEFAULT + 2, acquire_thread_func, &lock);
printf ("This thread should have priority %d. Actual priority: %d.\n",
PRI_DEFAULT + 2, thread_get_priority ());