WIP: print "optimized out" register values as "<not saved>" instead of
"optimized out".