clever. I hadn't thought of variable-width encoding.