proc Py_GetCopyright(): string {.compileTime, ...raises: [IOError], tags: [ReadIOEffect], forbids: [].}