ADA Car Rentals in C-Scheme