You can hook into the abi for software that runs in Linux trivially. So why isn't machine code acceptable? When you give the honest answer you see why the majority of languages aren't acceptable either.