#include <stdio.h>
__inline int GetNumber() {return 42;}

int main()
{
   printf("%d\n",GetNumber());
}