1#include <sanitizer/asan_interface.h> 2#include <stdio.h> 3 4int main(int argc, char **argv) 5{ 6 fprintf(stderr, "ok\n"); 7 return 0; 8}