--- src/analyze.cpp.orig	2019-06-16 06:56:32.000000000 -0600
+++ src/analyze.cpp	2019-06-30 16:20:00.887136296 -0600
@@ -280,9 +280,9 @@ void Internal::clear_analyzed_levels ()
 struct analyze_trail_negative_rank {
   Internal * internal;
   analyze_trail_negative_rank (Internal * s) : internal (s) { }
-  size_t operator () (int a) {
+  uint64_t operator () (int a) {
     Var & v = internal->var (a);
-    size_t res = v.level;
+    uint64_t res = v.level;
     res <<= 32;
     res |= v.trail;
     return ~res;