int sanitizer_status(int argc, char** argv);

int main(int argc, char** argv) {
    return sanitizer_status(argc, argv);
}