1 #include <stdio.h>
2 const char* sd_get_seats(void);
3 
4 int
main(int argc,char ** argv)5 main (int argc, char **argv)
6 {
7   printf("%s\n", sd_get_seats());
8   return 0;
9 }
10