(defpackage :car-game (:nicknames :car "ACL2-USER"))