int multiply_by_two( int a ) {
	return a * 2;
}