Fix fast0 implementation to verify mutex