diff --git a/examples/core/00_example_template/example.c b/examples/core/00_example_template/example.c
index bcb38fd..41c7ef5 100644
--- a/examples/core/00_example_template/example.c
+++ b/examples/core/00_example_template/example.c
@@ -1,5 +1,4 @@
 #include "../../../squiggle.h"
-#include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
 
diff --git a/examples/core/01_one_sample/example.c b/examples/core/01_one_sample/example.c
index 82480a9..ef3b90b 100644
--- a/examples/core/01_one_sample/example.c
+++ b/examples/core/01_one_sample/example.c
@@ -1,5 +1,4 @@
 #include "../../../squiggle.h"
-#include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
 
diff --git a/examples/core/02_time_to_botec/example b/examples/core/02_time_to_botec/example
index 93a714d..ec13899 100755
Binary files a/examples/core/02_time_to_botec/example and b/examples/core/02_time_to_botec/example differ
diff --git a/examples/core/02_time_to_botec/example.c b/examples/core/02_time_to_botec/example.c
index 147a02f..dd63ef3 100644
--- a/examples/core/02_time_to_botec/example.c
+++ b/examples/core/02_time_to_botec/example.c
@@ -1,29 +1,7 @@
 #include "../../../squiggle.h"
-#include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
 
-// Estimate functions
-double sample_0(uint64_t* seed)
-{
-    return 0;
-}
-
-double sample_1(uint64_t* 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);
-}
-
 int main()
 {
     // set randomness seed
@@ -34,6 +12,11 @@ int main()
     double p_b = 0.5;
     double p_c = p_a * p_b;
 
+    double sample_0(uint64_t* seed){ return 0; }
+    double sample_1(uint64_t* 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); } 
+
     int n_dists = 4;
     double weights[] = { 1 - p_c, p_c / 2, p_c / 4, p_c / 4 };
     double (*samplers[])(uint64_t*) = { sample_0, sample_1, sample_few, sample_many };
@@ -45,11 +28,5 @@ int main()
     }
     printf("Mean: %f\n", array_mean(result_many, n_samples));
 
-    // printf("result_many: [");
-    // for(int i=0; i<100; i++){
-    //  printf("%.2f, ", result_many[i]);
-    // }
-    // printf("]\n");
-
     free(seed);
 }
diff --git a/examples/core/03_gcc_nested_function/example.c b/examples/core/03_gcc_nested_function/example.c
index c8facb0..54dcd0f 100644
--- a/examples/core/03_gcc_nested_function/example.c
+++ b/examples/core/03_gcc_nested_function/example.c
@@ -1,5 +1,4 @@
 #include "../../../squiggle.h"
-#include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
 
diff --git a/examples/core/04_gamma_beta/example.c b/examples/core/04_gamma_beta/example.c
index 979c1a8..024ab3e 100644
--- a/examples/core/04_gamma_beta/example.c
+++ b/examples/core/04_gamma_beta/example.c
@@ -1,5 +1,4 @@
 #include "../../../squiggle.h"
-#include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
 
diff --git a/examples/core/05_hundred_lognormals/example.c b/examples/core/05_hundred_lognormals/example.c
index 5b93421..eb8e07e 100644
--- a/examples/core/05_hundred_lognormals/example.c
+++ b/examples/core/05_hundred_lognormals/example.c
@@ -1,5 +1,4 @@
 #include "../../../squiggle.h"
-#include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
 
diff --git a/examples/more/00_example_template/example.c b/examples/more/00_example_template/example.c
index 8c3e1ca..9fa72f4 100644
--- a/examples/more/00_example_template/example.c
+++ b/examples/more/00_example_template/example.c
@@ -1,6 +1,5 @@
 #include "../../../squiggle.h"
 #include "../../../squiggle_more.h"
-#include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
 
diff --git a/examples/more/01_sample_from_cdf/example.c b/examples/more/01_sample_from_cdf/example.c
index ffb7acc..8f17790 100644
--- a/examples/more/01_sample_from_cdf/example.c
+++ b/examples/more/01_sample_from_cdf/example.c
@@ -1,7 +1,6 @@
 #include "../../../squiggle.h"
 #include "../../../squiggle_more.h"
 #include <math.h>
-#include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <time.h>
diff --git a/examples/more/02_sample_from_cdf_beta/example b/examples/more/02_sample_from_cdf_beta/example
index 1552b05..ffb3883 100755
Binary files a/examples/more/02_sample_from_cdf_beta/example and b/examples/more/02_sample_from_cdf_beta/example differ
diff --git a/examples/more/02_sample_from_cdf_beta/example.c b/examples/more/02_sample_from_cdf_beta/example.c
index 2ff6650..46105f5 100644
--- a/examples/more/02_sample_from_cdf_beta/example.c
+++ b/examples/more/02_sample_from_cdf_beta/example.c
@@ -1,7 +1,6 @@
 #include "../../../squiggle.h"
 #include "../../../squiggle_more.h"
 #include <math.h>
-#include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <time.h>
diff --git a/examples/more/03_ci_beta/example.c b/examples/more/03_ci_beta/example.c
index 1dddc86..1ba8207 100644
--- a/examples/more/03_ci_beta/example.c
+++ b/examples/more/03_ci_beta/example.c
@@ -1,6 +1,5 @@
 #include "../../../squiggle.h"
 #include "../../../squiggle_more.h"
-#include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
 
diff --git a/examples/more/04_nuclear_war/example.c b/examples/more/04_nuclear_war/example.c
index 11d961a..90e9d4d 100644
--- a/examples/more/04_nuclear_war/example.c
+++ b/examples/more/04_nuclear_war/example.c
@@ -1,7 +1,6 @@
 #include "../../../squiggle.h"
 #include "../../../squiggle_more.h"
 #include <math.h>
-#include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
 
diff --git a/examples/more/05_burn_10kg_fat/example.c b/examples/more/05_burn_10kg_fat/example.c
index 728ca30..0914434 100644
--- a/examples/more/05_burn_10kg_fat/example.c
+++ b/examples/more/05_burn_10kg_fat/example.c
@@ -1,7 +1,6 @@
 #include "../../../squiggle.h"
 #include "../../../squiggle_more.h"
 #include <math.h>
-#include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
 
diff --git a/examples/more/06_nuclear_recovery/example.c b/examples/more/06_nuclear_recovery/example.c
index afc774b..4caf57d 100644
--- a/examples/more/06_nuclear_recovery/example.c
+++ b/examples/more/06_nuclear_recovery/example.c
@@ -1,7 +1,6 @@
 #include "../../../squiggle.h"
 #include "../../../squiggle_more.h"
 #include <math.h>
-#include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
 
diff --git a/examples/more/07_algebra/example.c b/examples/more/07_algebra/example.c
index a6d30d0..65b5cd6 100644
--- a/examples/more/07_algebra/example.c
+++ b/examples/more/07_algebra/example.c
@@ -1,7 +1,6 @@
 #include "../../../squiggle.h"
 #include "../../../squiggle_more.h"
 #include <math.h>
-#include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
 
diff --git a/examples/more/08_algebra_and_conversion/example.c b/examples/more/08_algebra_and_conversion/example.c
index 0dfba6f..3f2a2c7 100644
--- a/examples/more/08_algebra_and_conversion/example.c
+++ b/examples/more/08_algebra_and_conversion/example.c
@@ -1,7 +1,6 @@
 #include "../../../squiggle.h"
 #include "../../../squiggle_more.h"
 #include <math.h>
-#include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
 
diff --git a/examples/more/09_ergonomic_algebra/example.c b/examples/more/09_ergonomic_algebra/example.c
index a944683..0cd9adf 100644
--- a/examples/more/09_ergonomic_algebra/example.c
+++ b/examples/more/09_ergonomic_algebra/example.c
@@ -1,7 +1,6 @@
 #include "../../../squiggle.h"
 #include "../../../squiggle_more.h"
 #include <math.h>
-#include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
 
diff --git a/examples/more/10_twitter_thread_example/example.c b/examples/more/10_twitter_thread_example/example.c
index 7d892e7..c7d8937 100644
--- a/examples/more/10_twitter_thread_example/example.c
+++ b/examples/more/10_twitter_thread_example/example.c
@@ -1,6 +1,5 @@
 #include "../../../squiggle.h"
 #include "../../../squiggle_more.h"
-#include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
 
diff --git a/examples/more/11_billion_lognormals_paralell/example b/examples/more/11_billion_lognormals_paralell/example
index 31ba715..81d03cd 100755
Binary files a/examples/more/11_billion_lognormals_paralell/example and b/examples/more/11_billion_lognormals_paralell/example differ
diff --git a/examples/more/11_billion_lognormals_paralell/example.c b/examples/more/11_billion_lognormals_paralell/example.c
index 9e1155c..62fc0d0 100644
--- a/examples/more/11_billion_lognormals_paralell/example.c
+++ b/examples/more/11_billion_lognormals_paralell/example.c
@@ -1,6 +1,5 @@
 #include "../../../squiggle.h"
 #include "../../../squiggle_more.h"
-#include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
 
diff --git a/examples/more/12_time_to_botec_parallel/example b/examples/more/12_time_to_botec_parallel/example
index 3507dd1..6598573 100755
Binary files a/examples/more/12_time_to_botec_parallel/example and b/examples/more/12_time_to_botec_parallel/example differ