extern int libCMP0060(void);
int main(void)
{
  return libCMP0060();
}