/* typedef 'lint_t' devia ser 'long long int' */

utils/utils.h

@@ -18,7 +18,7 @@ typedef char * string_t;
 typedef double rtime_t;
 
 // lint_t: tipo usado para representar valores long int
-typedef long int lint_t;
+typedef long long int lint_t;
 
 // SIMD alignment macros (bytes)
 #define ALIGN_64 __attribute__((aligned(64)))