Module Core_string_unit_tests