abiflags: string = to(getAttr(pyImport("math"), "abiflags"), string)

base_exec_prefix: string = to(getAttr(pyImport("math"), "base_exec_prefix"),
                              string)

base_prefix: string = to(getAttr(pyImport("math"), "base_prefix"), string)

byteorder: string = to(getAttr(pyImport("math"), "byteorder"), string)

copyright: string = to(getAttr(pyImport("math"), "copyright"), string)

pycache_prefix: string = to(getAttr(pyImport("math"), "pycache_prefix"), string)

exec_prefix: string = to(getAttr(pyImport("math"), "exec_prefix"), string)

executable: string = to(getAttr(pyImport("math"), "executable"), string)

float_repr_style: string = to(getAttr(pyImport("math"), "float_repr_style"),
                              string)

platform: string = to(getAttr(pyImport("math"), "platform"), string)

platlibdir: string = to(getAttr(pyImport("math"), "platlibdir"), string)

prefix: string = to(getAttr(pyImport("math"), "prefix"), string)

ps1: string = to(getAttr(pyImport("math"), "ps1"), string)

ps2: string = to(getAttr(pyImport("math"), "ps2"), string)

version: string = to(getAttr(pyImport("math"), "version"), string)

winver: string = to(getAttr(pyImport("math"), "winver"), string)

dllhandle: int = to(getAttr(pyImport("math"), "dllhandle"), int)

hexversion: int = to(getAttr(pyImport("math"), "hexversion"), int)

maxunicode: int = to(getAttr(pyImport("math"), "maxunicode"), int)

tracebacklimit: int = to(getAttr(pyImport("math"), "tracebacklimit"), int)

api_version: int = to(getAttr(pyImport("math"), "api_version"), int)

maxsize: BiggestInt = to(getAttr(pyImport("math"), "maxsize"), BiggestInt)

dont_write_bytecode: bool = to(getAttr(pyImport("math"), "dont_write_bytecode"),
                               bool)

builtin_module_names: seq[string] = to(getAttr(pyImport("math"),
    "builtin_module_names"), seq[string])

argv: seq[string] = to(getAttr(pyImport("math"), "argv"), seq[string])

orig_argv: seq[string] = to(getAttr(pyImport("math"), "orig_argv"), seq[string])

path: seq[string] = to(getAttr(pyImport("math"), "path"), seq[string])

flags: tuple[debug, inspect, interactive, optimize, dont_write_bytecode,
             no_user_site, no_site, ignore_environment, verbose, bytes_warning,
             quiet, hash_randomization, isolated: int, dev_mode: bool,
             utf8_mode: int] = to(getAttr(pyImport("math"), "flags"), tuple[
    debug, inspect, interactive, optimize, dont_write_bytecode, no_user_site,
    no_site, ignore_environment, verbose, bytes_warning, quiet,
    hash_randomization, isolated: int, dev_mode: bool, utf8_mode: int])

float_info: tuple[max: float, max_exp, max_10_exp: int, min: float,
                  min_exp, min_10_exp, dig, mant_dig: int, epsilon: float,
                  radix, rounds: int] = to(
    getAttr(pyImport("math"), "float_info"), tuple[max: float,
    max_exp, max_10_exp: int, min: float,
    min_exp, min_10_exp, dig, mant_dig: int, epsilon: float, radix, rounds: int])

hash_info: tuple[width, modulus, inf, nan, imag: int, algorithm: string,
                 hash_bits, seed_bits, cutoff: int] = to(
    getAttr(pyImport("math"), "hash_info"), tuple[
    width, modulus, inf, nan, imag: int, algorithm: string,
    hash_bits, seed_bits, cutoff: int])

int_info: tuple[bits_per_digit, sizeof_digit: int] = to(
    getAttr(pyImport("math"), "int_info"),
    tuple[bits_per_digit, sizeof_digit: int])

thread_info: tuple[name, lock, version: string] = to(
    getAttr(pyImport("math"), "thread_info"), tuple[name, lock, version: string])

version_info: tuple[major, minor, micro: int, releaselevel: string, serial: int] = to(
    getAttr(pyImport("math"), "version_info"),
    tuple[major, minor, micro: int, releaselevel: string, serial: int])

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

proc displayhook(value: auto)

proc exit(arg = 0) {....raises: [Exception, ValueError, OSError, IOError, EOFError,
                              KeyError], tags: [RootEffect].}

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

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

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

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

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

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

proc getrefcount(obj: auto): int

proc getrecursionlimit(obj: auto): int

proc getsizeof(obj: auto): int

proc getsizeof(obj: auto; default: int): int

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

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

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

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

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

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

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

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