#include <stdio.h>

inline int test(void);

inline int test(void)
{
  return 1337;
}
int main(int argc, char *argv[])
{
  printf("%i\n", test());
  return 0;
}