char buff[1000];

int putint(int i)
{
  printf("%d",i);
}