Compiling IO with save applications