Using the amb operator to find race conditions.