// main,c
extern int wow(char what);

int main(void) {
  printf("%d\n", wow(30)) ; => 30
  return 0;
}