Major Section: PROGRAMMING
(strip-cdrs x) has a guard of (alistp x), and returns the list
obtained by walking through the list x and collecting up all
second components (cdr s). This function is implemented in a
tail-recursive way, despite its logical definition.