(module Core_string)