#include <iostream>

int main(int argc, char** argv) {
    std::cout << "BoltDBG (bootstrap) v0.1.0\n";
    return 0;
}