diff --git a/src/constants.c b/src/constants.c
index b8436ccd92d5b845e66e8e82b84ad574d8cbf159..e07c3db6ffdab79e49d6b8894e1d34e004f80b81 100644
--- a/src/constants.c
+++ b/src/constants.c
@@ -230,7 +230,7 @@ void present_constant_profiling(void)
 
 void init_builtin_constants(void)
 {
-  builtin_constants = allocate_mapping(300);
+  builtin_constants = allocate_mapping(325);
 }
 
 void exit_builtin_constants(void)