One more test for the function typedef