Further work on symbolic microcode