Kim Barrett called me to ask about this. Does anyone remember why at the last meeting we decided it was `probably ok' to flush WITH-ADDED-METHODS, but it was not ok to flush GENERIC-FUNCTION, GENERIC-FLET, and GENERIC-LABELS. Who professes to be the champion of these last three. I couldn't find any record of this in my notes, so figured I'd ask you guys.