an explicit SAVE instruction