Fix some 0xffs which should be 0o77s --- thanks to furroy2 on YouTube for spotting these.
Fix some 0xffs which should be 0o77s --- thanks to furroy2 on YouTube for
spotting these.

davidgiven/cowgol,davidgiven/cowgol