<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_8sh85m1d1gkg2fgh38e9749c8s, 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 />
!7

import static loadableUtils.utils.Pair;

cmodule TestRestructure > DynPrintLog {
  start-thread {
    Rect r = rect(1, 2, 3, 4);
    S s = structure(r);
    print(s);
    assertEqualsVerbose(r, unstructure(s));
    
    Pair p = pair(pair(1, 2));
    p.b = p.a; // back-reference
    s = structure(p);
    print(s);
    Pair p2 = cast unstructure(s);
    assertEqualsVerbose(structure(p2), s);
  }
}