// main.cpp
#include "Navigator.hpp"

int main(int argc, char* argv[]) {
    return navigator_main(argc, argv);
}