-extern void set_disk P((char *dsk, char *mtpt));
-extern void list_disk P((char *amdevice));
-extern void set_host P((char *host));
-extern int set_date P((char *date));
-extern void set_directory P((char *dir));
-extern void cd_glob P((char *dir));
-extern void cd_regex P((char *dir));
-extern void cd_dir P((char *dir, char *default_dir));
-extern void set_tape P((char *tape));
-extern void show_directory P((void));
-extern void set_mode P((int mode));
-extern void show_mode P((void));
+extern void set_disk(char *dsk, char *mtpt);
+extern void list_disk(char *amdevice);
+extern void set_host(const char *host);
+extern void list_host(void);
+extern int set_date(char *date);
+extern int set_directory(char *dir, int verbose);
+extern void local_cd(char *dir);
+extern int cd_glob(char *dir, int verbose);
+extern int cd_regex(char *dir, int verbose);
+extern int cd_dir(char *dir, char *default_dir, int verbose);
+extern void set_tape(char *tape);
+extern void set_device(char *host, char *device);
+extern void show_directory(void);
+extern void set_mode(int mode);
+extern void show_mode(void);
+extern void set_property_name(char *name, int append);
+extern void add_property_value(char *value);
+extern void list_property(void);