static inline int frobnicate(int x)
{
	return x + 1;
}

int refrobnicate(int y)
{
	void *frob = (void *)frobnicate;

	int (*frob_fn) (int) = frob;
	return frob_fn(y) + frob_fn(y);
}