now we can execute programs, but they all start with an empty set of registers