Describir: From high to low: Simulating nondeterminism and state with state