Properly read/write TODOs with high bits