#include "src/mi_gdb.h" int main() { fputs(MI_VERSION_STR,stdout); return 0; }