a missing acquire
produce slightly less extreme randomly generated test cases which are easier to hand minimize