proc `*`(a, b: PyIntObject): PyIntObject {....raises: [], tags: [RootEffect],
    forbids: [].}

proc `+`(a, b: PyIntObject): PyIntObject {....raises: [], tags: [RootEffect],
    forbids: [].}

proc `-`(a, b: PyIntObject): PyIntObject {....raises: [], tags: [RootEffect],
    forbids: [].}

proc `-`(a: PyIntObject): PyIntObject {....raises: [], tags: [RootEffect],
                                        forbids: [].}

proc `<`(a, b: PyIntObject): bool {....raises: [], tags: [], forbids: [].}

proc `<`(aa: int; b: PyIntObject): bool {....raises: [], tags: [RootEffect],
    forbids: [].}

proc `==`(a, b: PyIntObject): bool {....raises: [], tags: [], forbids: [].}

proc abs(self: PyIntObject): PyIntObject {....raises: [], tags: [RootEffect],
    forbids: [].}