K 10 svn:author V 5 markm K 8 svn:date V 27 2014-07-10T09:17:46.518503Z K 7 svn:log V 262 Some DES-induced tidy-ups: o Remove unneeded (void *) casts. I can't remember all that well why they were there in the first place (probably misguided lint-fixing). o Fix sizeof(type) -> sizeof(variable). There are still one-or-two to be fixed in a follow-up. END