proc compile(fname, body: string) {....raises: [ValueError, IOError, OSError, Exception], tags: [WriteIOEffect, ExecIOEffect, ReadEnvEffect, RootEffect, ReadIOEffect, TimeEffect], forbids: [].}
proc writeTeXFile(fname, body: string) {....raises: [ValueError, IOError], tags: [WriteIOEffect], forbids: [].}