lzrproof#4507 - Characters