typedef int (*Callback)(int value);

static int callback_impl(int value)
{
    return value + 1;
}

int main(void)
{
    Callback cb = callback_impl;
    return cb != 0 ? 0 : 1;
}