Issue 24. [PDTS] Incorrect effects clause for path copy (GB-14)
Issue 29. [PDTS] Unclear semantics of read_symlink on error (GB-16)
Issue 32. [PDTS] system_complete() example needs clarification (FI-10)