#include "types.h"
#include "stdlib.h"
#include "string.h"
#include <stdio.h>

int main(void)
{
  char buff[32];
  if ( itoa(1234, (char *)&buff) != 1 ) return 1;
  if ( strcmp((char *)&buff, "1234") != 0 ) return 2;
  if ( itoa(65536, (char *)&buff) != 1 ) return 3;
  if ( strcmp((char *)&buff, "65536") != 0 ) return 4;
  if ( itoa(-32767, (char *)&buff) != 1 ) return 5;
  if ( strcmp((char *)&buff, "-32767") != 0 ) return 6;
  return 0;
}