IO: tidy.
debug: added expression-only assertions.