QA: check that doubly modifying an OS state is OK