#5 Strange precondition for empty strings

[Anonymous]

When you have an empty string and want to do
valid_utf8 on it you get an error in UTF8_UTILS.valid_utf8.
The precondition "buffer.valid_index(start)" evaluates to
false because start is 1 but count of buffer is 0.