#include <iostream>
using namespace std;

extern "C" double afunc_( double* x ) {
	cout << " x " << *x << endl;
	return 42 * (*x);
}