I guess we need to guesstimate the length of a shortest Turing machine implementation of amd64 then?