1DOLLY 32MODULE download34REQUIRES HEADER libc5REQUIRES HEADER download6REQUIRES TOOL   cc7REQUIRES TOOL   rm89# This command is Dolly-specific rather than part of the POSIX-like core set.10FILE /tmp/download/download.c11    #include <stdio.h>12    #include <string.h>13    14    #include <dolly/download.h>15    16    int main(int argc, char **argv) {17      if (argc == 2 && strcmp(argv[1], "--help") == 0) {18        fputs("usage: download FILE\n", stdout);19        return 0;20      }21      if (argc != 2) {22        fputs("download: expected one file\n", stderr);23        return 2;24      }25      const int status = dolly_download_file(argv[1]);26      if (status != 0) {27        fprintf(stderr, "download: %s failed (%d)\n", argv[1], status);28        return 1;29      }30      printf("download: requested %s\n", argv[1]);31      return 0;32    }3334SLOP cc \35  /tmp/download/download.c \36  -o /bin/download3738EXPORTS TOOL download3940SLOP rm \41  -rf \42  /tmp/download43