method private of_string s = s