svoid test_PersistentManagedObjects_v1() {
  new ManagedIntObjects_v1 mem;
  PersistentManagedObjects_v1 pm = new(mem, addr -> ManagedString(mem, addr));
}