SaveAndRestore: fix coding style and Doxygenify comments