inline-4.c   [plain text]

#include "inline-4.h"
int main(void) {
  printf (getstring());
  return 0;
}