let load : mem_bits -> t_zone -> t_bits = F.e_app2 "rt_load"