107108109110111112113114115116117
// I/O and trace related register(new GetStdin()); register(new GetStdout()); register(new SetMaxAnswers()); register(new SetTrace()); register(new StackDump()); register(new Consult()); register(new Reconsult()); register(new ReconsultAgain());