One shouldn't have to instantiate a Binary_string every time a strstr call is needed.
Attach a file by drag & drop or click to upload
