Payless Rental Cars in C-Scheme