test case for sml_string