should be turing complete but probably isn't