int
c_explore_value (void)
{
    return 42;
}