int generated_function(void)
{
    return 42;
}