Testing, IO abstraction