Feature #9: module Characters added and Kernel adapted for using it.