Be correct on system calls' return values.