prnt_cmd
static void prnt_cmd(FILE *fd, char *fstype);
prnt_cmd(stdout, fstype);
prnt_cmd(stderr, fstype);