diff --git a/experiments/example.c b/experiments/example.c
index 8a0ee06..9dfe018 100644
--- a/experiments/example.c
+++ b/experiments/example.c
@@ -6,7 +6,7 @@
 // ## PRE c: 1, 9
 // ## PRE a: 1, 9
 // ## PRE b: 1, 9
-[[clang::noinline]]
+__attribute__((noinline))
 double example(double a, double b, double c) {
   double tmp;
   if (a < b) {
diff --git a/experiments/run-all.py b/experiments/run-all.py
index f552d2a..a5ff410 100644
--- a/experiments/run-all.py
+++ b/experiments/run-all.py
@@ -94,7 +94,9 @@ def main():
 
             print(f"Processing function: {func_name}")
             func_body_lines = func["func_body"].split("\n")
-            func_signature_line = f"{return_type} example({params}) {{"
+            
+            func_signature_line = f"__attribute__((noinline))\n{return_type} example({params}) {{"
+            
             func_body_lines[0] = func_signature_line
             func_code = comments + "\n" + "\n".join(func_body_lines)
             includes = "#include <math.h>\n#include <stdint.h>\n#define TRUE 1\n#define FALSE 0\n"