extern int lib_call(int x);

int lib_call(int x)
{
	return x*2;
}