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