some more work on understanding libcsp... stuck on how to copy null bytes