hack to fix LEB128-encoding
update TODO in README