__inline__
static int inline_otherfile ( void )
{
   return burble(19);
}