Use EXPECT_EQ here