#(;; FIXME: several metaproblems here, over and above the primary
;; problem represented by the honking big bug list..
;; * This list was generated automatically from test output
#(;; FIXME: several metaproblems here, over and above the primary
;; problem represented by the honking big bug list..
;; * This list was generated automatically from test output