'; AllTests::main(); echo '';