checkpoint.c revision 80dd9c0e
1