arduino.ino

#include <sinter.h>

#include "internal_functions.h"

const unsigned char fact_iterative_34_svm[] = {
  0xad, 0xac, 0x05, 0x50, 0x00, 0x00, 0x00, 0x00, 0x10, 0x00, 0x00, 0x00,
  0x00, 0x00, 0x00, 0x00, 0x02, 0x01, 0x00, 0x00, 0x28, 0x28, 0x00, 0x00,
  0x00, 0x2d, 0x00, 0x0b, 0x0e, 0x2a, 0x00, 0x02, 0x22, 0x00, 0x00, 0x00,
  0x40, 0x01, 0x46, 0x00, 0x03, 0x02, 0x01, 0x00, 0x28, 0x44, 0x00, 0x00,
  0x00, 0x2d, 0x01, 0x0b, 0x0e, 0x2a, 0x01, 0x2a, 0x00, 0x02, 0x01, 0x00,
  0x00, 0x00, 0x41, 0x02, 0x46, 0x00, 0x00, 0x00, 0x04, 0x02, 0x02, 0x00,
  0x2a, 0x00, 0x02, 0x01, 0x00, 0x00, 0x00, 0x21, 0x3d, 0x07, 0x00, 0x00,
  0x00, 0x2a, 0x01, 0x3e, 0x12, 0x00, 0x00, 0x00, 0x30, 0x01, 0x01, 0x2a,
  0x00, 0x02, 0x01, 0x00, 0x00, 0x00, 0x13, 0x2a, 0x01, 0x2a, 0x00, 0x15,
  0x41, 0x02, 0x46
};
const unsigned int fact_iterative_34_svm_len = 111;

char heap[0x4000];

void setup() {
  setupInternals();
}

void loop() {
  sinter_setup_heap(heap, 0x4000);

  sinter_value_t result;
  sinter_fault_t fault = sinter_run(fact_iterative_34_svm, fact_iterative_34_svm_len, &result);

  Serial.print("Program exited with fault ");
  Serial.print(fault);
  Serial.print(" and result type ");
  Serial.print(result.type);
  Serial.print(" (");
  Serial.print(result.integer_value);
  Serial.print(", ");
  Serial.print(result.boolean_value);
  Serial.print(", ");
  Serial.print(result.float_value);
  Serial.print(")\n");
}