checkpoint - syscall semantics
checkpoint - docs