Allow monomorphisation with C generation

Run C tests with -O -Oconstant_fold -auto_mono

1 files changed, 3 insertions, 0 deletions

diff --git a/lib/sail.h b/lib/sail.h
index 4225a3d4..8f113339 100644
--- a/lib/sail.h
+++ b/lib/sail.h
@@ -153,6 +153,9 @@ SAIL_INT_FUNCTION(pow_int, sail_int, const sail_int, const sail_int);
 
 SAIL_INT_FUNCTION(pow2, sail_int, const sail_int);
 
+void make_the_value(sail_int *, const sail_int);
+void size_itself_int(sail_int *, const sail_int);
+
 /* ***** Sail bitvectors ***** */
 
 typedef uint64_t fbits;