include "utilities/binary/Z.ma".

definition internal_ram_size: Z ≝ two_p 8.
definition external_ram_size: Z ≝ two_p 16.