int foo() { return; } /*%%* expected function to return 'int' *%%*/