(module Core_char)