register(Const.FAIL);
register(new Halt());
register(new Compute());
// I/O and trace related
register(new GetStdin());
register(new GetStdout());
register(new SetMaxAnswers());
register(new SetTrace());
register(new StackDump());
register(new Consult());