checkpoint; works up to syscallbuf usage