void init_spinlocks();
volatile void lock_spin(int i);
void lock_release(int i);