spin_lock.v 4 KB