!7

svoid warn(S s) {
  fail(s);
}

p-exp {
  saveTextFile(userDir("concepts.buggy.beautified"),
    beautifyStructure(javaTokWordWrap(loadTextFileGZ(userDir("concepts.buggy.structure.gz")))));
  
  safeUnstructGZFile(userDir("concepts.buggy.structure.gz"));
}