proc main()
{
    var badUtf = new PackUbyte(10);
    badUtf[0] = 'B';
    badUtf[1] = 'a';
    badUtf[2] = 'd';
    badUtf[3] = ' ';
    badUtf[4] = 0x92; // Illegal UTF-8 char
    badUtf[5] = ' ';
    badUtf[6] = 'U';
    badUtf[7] = 'T';
    badUtf[8] = 'F';
    badUtf[9] = '\n';

    var f = new File("badutf8e.txt", "wb");
    f.write(badUtf);
    f.close();

    f = new File("badutf8e.txt", "rb+");
    var s = f.readstr();
    "", s, '\n';
    f.close("delete");
}