#include <stdio.h> 

inline int Get(int x) { return x + 40; }

int main(void){  

  int a = Get(2);

  printf("%d\n", a);

  return 0;
}