Supplement to the conference record of the 7th annual workshop on Microprogramming