restart_block.h revision 9afc5eee
1