1 #include <stdio.h>
2 #include <stdlib.h>
3 
4 extern int amp_main(void);
main(int argc,char ** argv)5 int main(int argc, char **argv)
6 {
7     amp_main();
8     return 0;
9 }