public func divCeil(n : Nat, d : Nat) : Nat
public func int_represented_as_nat(int : Int, nbits : Nat) : Nat