!7

p-exp {
  File zip = loadLibrary(#1400122);
  mechMode().readMode = zip;
  LS facts;
  pnl(facts = mL("Random facts"));
  assertEquals(9, l(facts));
  assertEmpty(mL("Good IPs"))); // non-public list
}