I had tested it out before, and the `-k b' seemed to take effect even if the file had already been checked in (because the replacement of the strings happens at check-out time). Where is the mangling in ml.lex? The $Log line in the AT&T copyright?