Add assertions, files and I/O