emergency-restart.h revision 14d7ca5c
1