What shall we test?

§1. A simple command line:

define PROGRAM_NAME "kinds-test"
enum INTERPRET_CLSW
enum LOAD_CLSW
int main(int argc, char **argv) {
    Foundation::start(argc, argv);
    WordsModule::start();
    SyntaxModule::start();
    LexiconModule::start();
    InflectionsModule::start();
    LinguisticsModule::start();
    KindsModule::start();

    pathname *P = Pathnames::from_text(I"services");
    P = Pathnames::down(P, I"kinds-test");
    P = Pathnames::down(P, I"Tangled");
    filename *S = Filenames::in(P, I"Syntax.preform");
    LoadPreform::load(S, NULL);

    CommandLine::declare_heading(
        U"kinds-test: a tool for testing the kinds module\n");

    CommandLine::declare_switch(LOAD_CLSW, U"load", 2,
        U"load kind definitions from file X");
    CommandLine::declare_switch(INTERPRET_CLSW, U"interpret", 2,
        U"interpret REPL commands in file X");

    CommandLine::read(argc, argv, NULL, &Main::respond, &Main::ignore);

    WordsModule::end();
    SyntaxModule::end();
    LexiconModule::end();
    InflectionsModule::end();
    LinguisticsModule::end();
    KindsModule::end();
    Foundation::end();
    return 0;
}

§2.

void Main::respond(int id, int val, text_stream *arg, void *state) {
    text_stream *save_DL = DL;
    DL = STDOUT;
    Streams::enable_debugging(DL);
    switch (id) {
        case LOAD_CLSW: NeptuneFiles::load(Filenames::from_text(arg)); break;
        case INTERPRET_CLSW: Declarations::load_from_file(arg); break;
    }
    DL = save_DL;
}

void Main::ignore(int id, text_stream *arg, void *state) {
    Errors::fatal("only switches may be used at the command line");
}