Object-oriented machine code is the strongest form of capability limited software