DynamicMontgomeryModint[M] = object
  a: uint32

MontgomeryModint = StaticMontgomeryModint or DynamicMontgomeryModint

StaticMontgomeryModint[M] = object
  a: uint32

CPLIB_MODINT_MODINT_MONTGOMERY = 1

proc `*=`[T: MontgomeryModint](a: var T; b: T or SomeInteger)

proc `+=`[T: MontgomeryModint](a: var T; b: T or SomeInteger)

proc `-=`[T: MontgomeryModint](a: var T; b: T or SomeInteger)

proc `-`[T: MontgomeryModint](a: T): T

proc `/=`[T: MontgomeryModint](a: var T; b: T or SomeInteger)

proc get_n2(M: uint32): uint32 {....raises: [], tags: [].}

func get_param[M: static[uint32]](self: typedesc[DynamicMontgomeryModint[M]]): ptr [
    tuple[M, r, n2: uint32]]

proc get_r(M: uint32): uint32 {....raises: [], tags: [].}

proc init(T: typedesc[MontgomeryModint]; a: T:type or SomeInteger): auto

proc inv[T: MontgomeryModint](x: T): T

proc setMod[T: static[uint32]](self: typedesc[DynamicMontgomeryModint[T]];
                               M: SomeInteger or SomeUnsignedInt)

proc val[T: MontgomeryModint](a: T): int

macro declarDynamicMontgomeryModint(name, id)

macro declarStaticMontgomeryModint(name, M)

template `mod`[T: MontgomeryModint](self: typedesc[T] or T): int32

template get_M(T: typedesc[MontgomeryModint]): uint32

template umod[T: MontgomeryModint](self: typedesc[T] or T): uint32