<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_plru67dnms92ud1cm21g8mmooc, 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 />
!752

m {
  static S snippetID1 = "#636", snippetID2 = "#747", diff;
  static int contextSize = 1;

  p {
    if (args.length == 2) {
      snippetID1 = args[0];
      snippetID2 = args[1];
    }
    diff = unidiff(loadSnippet(snippetID1), loadSnippet(snippetID2));
    print(diff);
  }
}