Better, `CHECK_EQ`.