Use a top-level instruction execution loop, removing it from DOCOL