/*@group*/ #include <stddef.h> #include <stdio.h> #include <sys/types.h> #include <dirent.h> /*@end group*/ int main (void) { DIR *dp; struct dirent *ep; dp = opendir ("./"); if (dp != NULL) { while (ep = readdir (dp)) puts (ep->d_name); (void) closedir (dp); } else puts ("Couldn't open the directory."); return 0; }