#include <sched.h>
#include <stdio.h>
int main( void )
{
  printf("%d", sched_getcpu());
  return 0;
}