Actually, looking at the code, you definitely need to make it `>=` because there is no synchronization between the `enqueue` and `full?`.