Updating: adding a simple API for spinlock in ATS