int true_main([[maybe_unused]] int argc, [[maybe_unused]] char *argv[]) { return 0; }