/* { dg-options "-std=gnu17" } */
#include "20091015-1_a.h"
#include "20091015-1_b.h"
void foo ();
void debug_optab_libfuncs (void) {
foo (stderr,       4         );
}