<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_0a162g303r2bstitpritg0lh4f, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
svoid test_PersistentManagedObjects_v1() {
  PersistentManagedObjects_v1<ManagedString> pm = new((_mem, addr) -> ManagedString.load(_mem, addr));
  ManagedString s = pm.getUserData();
  assertNullVerbose("userData", s);
  pm.setUserData(ManagedString.create(mem, "Hello world"));
  s = pm.getUserData();
  assertEqualsVerbose("Hello world", str(s));
  print("Mem size: " + mem.size());
  pm.flush();
  
  mem = new ManagedIntObjects_v1(pm.mem.mem);
  pm = new PersistentManagedObjects_v1<ManagedString>(mem, pm.makeUserObject);
  assertEqualsVerbose("Hello world", str(s));
}