From 7beb9e284b040b349589a53762ce0b20d6c409c9 Mon Sep 17 00:00:00 2001
From: Nicolas PENELOUX <nicolas.peneloux@free.fr>
Date: Mon, 1 Jan 2024 10:44:25 +0100
Subject: [PATCH] ajout fonction add_eight_int dans le runtime

---
 flap/runtime/runtime.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/flap/runtime/runtime.c b/flap/runtime/runtime.c
index 5e6adf5..e428878 100644
--- a/flap/runtime/runtime.c
+++ b/flap/runtime/runtime.c
@@ -35,3 +35,7 @@ int64_t write_block(intptr_t *block, int64_t n, intptr_t v) {
   block[n] = v;
   return 0;
 }
+
+void add_eight_int(int64_t x1,int64_t x2,int64_t x3,int64_t x4,int64_t x5, int64_t x6,int64_t x7,int64_t x8) {
+  return observe_int(x1+x2+x3+x4+x5+x6+x7+x8);
+}