1  #include "inline-4.h"
       2  extern int printf (const char *, ...);
       3  int main(void) {
       4    printf (getstring());
       5    return 0;
       6  }