I'm noticing that if I use the option --enable-kawa-frontend, that define-simple-class (and therefore the sort routines in the previous email) stop working. What is the story here?