/*---------------------------------------------------------------------------*/
void
shell_checkpoint_init(void)
{
checkpoint_init();
shell_register_command(&checkpoint_command);
shell_register_command(&rollback_command);
}
PUBLIC int
main (void)
{
checkpoint_t *cp;
cp = checkpoint_init ();
return 0;
}