harness for strings and random tests