int main_mic(int argc, char * argv[]);