replaces concrete system calls with documentation