UNDETERMINED\
assertion failed: counter < 10