!7

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

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