user manual code example race condition