Procs

proc closelog() {....raises: [Exception, ValueError, OSError, IOError, EOFError,
                           KeyError], tags: [RootEffect].}

proc openlog() {....raises: [Exception, ValueError, OSError, IOError, EOFError,
                          KeyError], tags: [RootEffect].}

proc syslog(message: string) {....raises: [Exception, ValueError, OSError, IOError,
                                        EOFError, KeyError], tags: [RootEffect].}

proc syslog(priority, message: string) {.
    ...raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError],
    tags: [RootEffect].}

proc openlog(idents: string) {....raises: [Exception, ValueError, OSError, IOError,
                                        EOFError, KeyError], tags: [RootEffect].}

proc openlog(idents: string; logoption: int) {.
    ...raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError],
    tags: [RootEffect].}

proc openlog(idents: string; logoption: int; facility: string) {.
    ...raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError],
    tags: [RootEffect].}