extern int Stub(void);
int StubUse(void)
{
  return Stub();
}