Draft of AbortableMutex