Some of the tests do not pass, as there are bugs in the
    implementation of string functions.