abc checking works, just prettyfy IO