add simplified parsec modules, checkpoint
checkpoint