#include <stdio.h>

inline int foo ( int x , int y ) {
	return x * y ;
}

int main(void) {
	printf ( "%d" , foo ( 10 , 5 ) ) ;
	return 0;
}
