Right, assert is designed for pure code. Probably an assert for IO code would also be handy. Cheers, Edward