extern void circlemod2_undefined (void);
extern int circlemod3 (void);

int
circlemod2 (void)
{
  circlemod2_undefined ();
  return circlemod3 ();
}