more user-defined string literals