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: [].}