I don't see how "2.4.8.12 Sharpsign A" implies that "#1a#*000110" should be read as #(0 0 0 1 1 0) and "#1a\"abcd\"" as #(#\a #\b #\c #\d) It seems that reading those as bit-vectors and strings is just as valid. -- Sam Steingold <http://sds.podval.org>