ronnie
2022-10-14 1504bb53e29d3d46222c0b3ea994fc494b48e153
1
2
3
4
5
int sanitizer_status(int argc, char** argv);
 
int main(int argc, char** argv) {
    return sanitizer_status(argc, argv);
}