int main_tsym(int argc, char * argv[]);
int main_tdev(int argc, char * argv[]);