diff --git a/examples/core/03_gcc_nested_function/example.c b/examples/core/03_gcc_nested_function/example.c
index d00e983..3b1ad0e 100644
--- a/examples/core/03_gcc_nested_function/example.c
+++ b/examples/core/03_gcc_nested_function/example.c
@@ -15,16 +15,8 @@ int main()
     int n_dists = 4;
 
     // These are nested functions. They will not compile without gcc.
-    double sample_0(uint64_t * seed)
-    {
-        UNUSED(seed);
-        return 0;
-    }
-    double sample_1(uint64_t * seed)
-    {
-        UNUSED(seed);
-        return 1;
-    }
+    double sample_0(uint64_t * seed) { UNUSED(seed); return 0; }
+    double sample_1(uint64_t * seed) { UNUSED(seed); return 1; }
     double sample_few(uint64_t * seed) { return sample_to(1, 3, seed); }
     double sample_many(uint64_t * seed) { return sample_to(2, 10, seed); }
 
diff --git a/examples/more/12_time_to_botec_parallel/example.c b/examples/more/12_time_to_botec_parallel/example.c
index e366e14..edeb939 100644
--- a/examples/more/12_time_to_botec_parallel/example.c
+++ b/examples/more/12_time_to_botec_parallel/example.c
@@ -9,16 +9,8 @@ int main()
     double p_b = 0.5;
     double p_c = p_a * p_b;
 
-    double sample_0(uint64_t * seed)
-    {
-        UNUSED(seed);
-        return 0;
-    }
-    double sample_1(uint64_t * seed)
-    {
-        UNUSED(seed);
-        return 1;
-    }
+    double sample_0(uint64_t * seed) { UNUSED(seed); return 0; }
+    double sample_1(uint64_t * seed) { UNUSED(seed); return 1; }
     double sample_few(uint64_t * seed) { return sample_to(1, 3, seed); }
     double sample_many(uint64_t * seed) { return sample_to(2, 10, seed); }