In the recent commit to validity.cpp, I think there might be a typo in the first line in this function... void validity_checker::validate_inlines() { volatile UINT64 testu64a = random_i64(); volatile INT64 testi64a = random_i64(); volatile UINT32 testu32a = random_u32(); volatile UINT32 testu32b = r...