Use abstract Memory and RegisterSet classes