A new version is working it has problems with the instruction PC := <memref>