11 open Hints_declaration
23 (** val internal_ram_size : Z.z **)
24 let internal_ram_size =
26 (Z.z_of_nat (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S
29 (** val external_ram_size : Z.z **)
30 let external_ram_size =
32 (Z.z_of_nat (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S
33 (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S
34 Nat.O)))))))))))))))))