_: rec {
  pow =
    base: exponent:
    assert builtins.isInt base;
    assert builtins.isInt exponent;
    assert exponent >= 0;
    if exponent == 0 then 1 else base * pow base (exponent - 1);

  I64_MAX = (pow 2 63) - 1;
}
