#include <stdio.h>
#include "system.h"

int main()
{
  int j;
  printf("Starting\n");
  for(j=1; j<10; j++) {
    printf("%d+10 = %d\n",j,ALT_CI_MKCUSTOMINSTRUCTION_SATURATIONADD_INST(j,10));
  }
  for(j=0xfffffff0; j<10; j++) {
    printf("0x%08x+10 = 0x%08x\n",j,ALT_CI_MKCUSTOMINSTRUCTION_SATURATIONADD_INST(j,10));
  }
  printf("The End\n");
  return 0;
}