A note on microprogramming DEC hardware