Wednesday, April 17, 2024 at 11:05:21 p.m. British Summer Time lisp getting-started-with-common-lisp-in-2023