int
foo(void)
{
    return (123);
}