CREATE TABLE table_name_8 (laps INT, rider VARCHAR)

What is the sum of Sylvain Guintoli's laps?
SELECT SUM(laps) FROM table_name_8 WHERE rider = "sylvain guintoli"
SELECT SUM("laps") FROM "table_name_8" WHERE "rider" = "sylvain guintoli"