#include <stdint.h>
#include <stdio.h>
#include <sys/types.h>
#include <unistd.h>

#include "platform.h"
#include <string.h>

int factorial(int i) {
  volatile int result = 1;
  for (int ii = 1; ii <= i; ii++) {
    result = result * ii;
  }
  return result;
}

int main() {
  int result = factorial(10);
  printf("Factorial is %d", result);
  return 0;
}