int
this_is_just_here_to_make_automake_work()
{
    return 0;
}