chiark / gitweb /
when shortcutting states do not skip state transitions