CHECK_SYSCALL_SUCCEEDS
CHECK_SYSCALL_SUCCEEDS(cap_getrights, to, &_rights); \
CHECK_SYSCALL_SUCCEEDS(close, fd_close);
CHECK_SYSCALL_SUCCEEDS(dup, fd_file);
CHECK_SYSCALL_SUCCEEDS(fstat, fd_file, &sb);
CHECK_SYSCALL_SUCCEEDS(lseek, fd_file, 0, SEEK_SET);
CHECK_SYSCALL_SUCCEEDS(msync, &fd_file, 8192, MS_ASYNC);
CHECK_SYSCALL_SUCCEEDS(profil, NULL, 0, 0, 0);
CHECK_SYSCALL_SUCCEEDS(read, fd_file, &ch, sizeof(ch));
CHECK_SYSCALL_SUCCEEDS(recvfrom, fd_socket, NULL, 0, 0, NULL, NULL);
CHECK_SYSCALL_SUCCEEDS(setuid, getuid());
CHECK_SYSCALL_SUCCEEDS(write, fd_file, &ch, sizeof(ch));
CHECK_SYSCALL_SUCCEEDS(fcntl, f.f_fd, F_GETFL, 0);
CHECK_SYSCALL_SUCCEEDS(cap_getrights, fd, &rights);
CHECK_SYSCALL_SUCCEEDS(openat, etc, "passwd", O_RDONLY);
CHECK_SYSCALL_SUCCEEDS(openat, etc_cap_ro, "passwd", O_RDONLY);
CHECK_SYSCALL_SUCCEEDS(openat, etc_cap_base, "passwd", O_RDONLY);
CHECK_SYSCALL_SUCCEEDS(openat, etc_cap_all, "passwd", O_RDONLY);
CHECK_SYSCALL_SUCCEEDS(cap_getrights, fd, &rights);
CHECK_SYSCALL_SUCCEEDS(cap_getrights, fd, &rights);
CHECK_SYSCALL_SUCCEEDS(cap_getrights, etc, &rights);
CHECK_SYSCALL_SUCCEEDS(openat, etc, "/etc/passwd", O_RDONLY);
CHECK_SYSCALL_SUCCEEDS(openat, AT_FDCWD, "/etc/passwd", O_RDONLY);
CHECK_SYSCALL_SUCCEEDS(openat, etc, "passwd", O_RDONLY);
CHECK_SYSCALL_SUCCEEDS(openat, etc, "../etc/passwd", O_RDONLY);
CHECK_SYSCALL_SUCCEEDS(openat, etc_cap_ro, "passwd", O_RDONLY);
CHECK_SYSCALL_SUCCEEDS(openat, etc_cap_base, "passwd", O_RDONLY);
CHECK_SYSCALL_SUCCEEDS(openat, etc_cap_all, "passwd", O_RDONLY);
CHECK_SYSCALL_SUCCEEDS(openat, etc_cap_all, "../etc/passwd", O_RDONLY);
CHECK_SYSCALL_SUCCEEDS(cap_getrights, etc_cap_base, &rights);