let context_mem i = Context.mem (Th.of_int i)