433 write_all(int fd, const void *buf, size_t nbytes)  in write_all()  argument
438 		r = write(fd, buf, nbytes);  in write_all()
455 	int fd;  variable
467 	fd = open("abspath.txt", O_CREAT | O_RDONLY, 0644);
468 	ATF_REQUIRE(fd >= 0);
469 	close(fd);
499 	int fd;  variable
502 	fd = open("small.txt", O_RDWR | O_CREAT, 0644);
503 	ATF_REQUIRE(fd >= 0);
504 	write_all(fd, contents, strlen(contents) + 1);
505 	close(fd);
517 	int fd;  variable
520 	fd = open("small.txt", O_RDWR | O_CREAT, 0644);
521 	ATF_REQUIRE(fd >= 0);
522 	write_all(fd, contents, strlen(contents) + 1);
523 	close(fd);
540 	int fd;  variable
548 	fd = open("medium.txt", O_RDWR | O_CREAT, 0644);
549 	ATF_REQUIRE(fd >= 0);
550 	write_all(fd, contents, sizeof(contents));
551 	close(fd);
571 	int fd;  variable
578 	fd = open("medium.txt", O_RDWR | O_CREAT, 0644);
579 	ATF_REQUIRE(fd >= 0);
580 	write_all(fd, contents, sizeof(contents));
581 	close(fd);
598 	int fd;  variable
600 	fd = open("empty.txt", O_CREAT | O_RDONLY, 0000);
601 	ATF_REQUIRE(fd >= 0);
602 	close(fd);
613 	int fd;  variable
615 	fd = open("empty.txt", O_CREAT | O_RDONLY, 0644);
616 	ATF_REQUIRE(fd >= 0);
617 	close(fd);
629 	int fd;  variable
636 	fd = open("medium.txt", O_RDWR | O_CREAT, 0644);
637 	ATF_REQUIRE(fd >= 0);
638 	write_all(fd, contents, sizeof(contents));
639 	close(fd);
653 	int fd;  variable
661 	fd = open("medium.txt", O_RDWR | O_CREAT, 0644);
662 	ATF_REQUIRE(fd >= 0);
663 	write_all(fd, contents, sizeof(contents));
664 	close(fd);
679 	int fd;  variable
687 	fd = open("unix.txt", O_RDWR | O_CREAT, 0644);
688 	ATF_REQUIRE(fd >= 0);
689 	write_all(fd, contents, strlen(contents) + 1);
690 	close(fd);
740 	int fd;  variable
743 	fd = open("small.txt", O_RDWR | O_CREAT, 0644);
744 	ATF_REQUIRE(fd >= 0);
745 	write_all(fd, contents, strlen(contents) + 1);
746 	close(fd);
758 	int fd;  variable
768 	fd = open("rfc7440.txt", O_RDWR | O_CREAT, 0644);
769 	ATF_REQUIRE(fd >= 0);
770 	write_all(fd, contents, sizeof(contents));
771 	close(fd);
839 	int fd;  variable
851 	fd = open("small.txt", O_RDONLY);
852 	ATF_REQUIRE(fd >= 0);
853 	r = read(fd, buffer, sizeof(buffer));
855 	close(fd);
864 	int fd;  variable
873 	fd = open("medium.txt", O_RDWR | O_CREAT, 0666);
874 	ATF_REQUIRE(fd >= 0);
875 	close(fd);
889 	fd = open("medium.txt", O_RDONLY);
890 	ATF_REQUIRE(fd >= 0);
891 	r = read(fd, buffer, sizeof(buffer));
893 	close(fd);
902 	int fd;  variable
908 	fd = open("small.txt", O_RDWR | O_CREAT, 0666);
909 	ATF_REQUIRE(fd >= 0);
910 	close(fd);
923 	fd = open("small.txt", O_RDONLY);
924 	ATF_REQUIRE(fd >= 0);
925 	r = read(fd, buffer, sizeof(buffer));
927 	close(fd);
936 	int fd;  variable
945 	fd = open("medium.txt", O_RDWR | O_CREAT, 0666);
946 	ATF_REQUIRE(fd >= 0);
947 	close(fd);
958 	fd = open("medium.txt", O_RDONLY);
959 	ATF_REQUIRE(fd >= 0);
960 	r = read(fd, buffer, sizeof(buffer));
962 	close(fd);
971 	int fd;  variable
973 	fd = open("empty.txt", O_CREAT | O_RDONLY, 0440);
974 	ATF_REQUIRE(fd >= 0);
975 	close(fd);
987 	int fd;  variable
989 	fd = open("empty.txt", O_CREAT | O_RDONLY, 0444);
990 	ATF_REQUIRE(fd >= 0);
991 	close(fd);
1003 	int fd;  variable
1012 	fd = open("medium.txt", O_RDWR | O_CREAT, 0666);
1013 	ATF_REQUIRE(fd >= 0);
1014 	close(fd);
1023 	fd = open("medium.txt", O_RDONLY);
1024 	ATF_REQUIRE(fd >= 0);
1025 	r = read(fd, buffer, sizeof(buffer));
1027 	close(fd);
1036 	int fd;  variable
1046 	fd = open("medium.txt", O_RDWR | O_CREAT, 0666);
1047 	ATF_REQUIRE(fd >= 0);
1048 	close(fd);
1056 	fd = open("medium.txt", O_RDONLY);
1057 	ATF_REQUIRE(fd >= 0);
1058 	r = read(fd, buffer, sizeof(buffer));
1060 	close(fd);
1069 	int fd;  variable
1080 	fd = open("unix.txt", O_RDWR | O_CREAT, 0666);
1081 	ATF_REQUIRE(fd >= 0);
1082 	close(fd);
1090 	fd = open("unix.txt", O_RDONLY);
1091 	ATF_REQUIRE(fd >= 0);
1092 	r = read(fd, buffer, sizeof(buffer));
1094 	close(fd);
1113 	int fd;  variable
1119 	fd = open("small.txt", O_RDWR | O_CREAT, 0666);
1120 	ATF_REQUIRE(fd >= 0);
1121 	close(fd);
1129 	fd = open("small.txt", O_RDONLY);
1130 	ATF_REQUIRE(fd >= 0);
1131 	r = read(fd, buffer, sizeof(buffer));
1133 	close(fd);
1142 	int fd;  variable
1146 	fd = open("small.txt", O_RDWR | O_CREAT, 0666);
1147 	ATF_REQUIRE(fd >= 0);
1148 	write_all(fd, contents, strlen(contents) + 1);
1149 	close(fd);
1165 	int fd;  variable
1177 	fd = open("rfc7440.txt", O_RDWR | O_CREAT, 0666);
1178 	ATF_REQUIRE(fd >= 0);
1179 	close(fd);
1217 	fd = open("rfc7440.txt", O_RDONLY);
1218 	ATF_REQUIRE(fd >= 0);
1219 	r = read(fd, buffer, sizeof(buffer));
1221 	close(fd);