Task: Text to Code
Input (English): What are the forename and surname of the driver who has the smallest laptime?
Output (English): SELECT T1.forename ,  T1.surname FROM drivers AS T1 JOIN laptimes AS T2 ON T1.driverid = T2.driverid ORDER BY T2.milliseconds LIMIT 1