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