CHECK_EQ has sign issues here