Don't need to encode it in some sort of machine code. Just need a git repo with the law so we can submit a PR to the CA assembly and get this fixed.