#include <unistd.h>

extern unsigned f();

int main(unsigned int argc, char**argv)
{
  f();
  return 0;
}