-extern int pascal_val_print (struct type *, const gdb_byte *, int,
- CORE_ADDR, struct ui_file *, int, int,
- int, enum val_prettyprint);
+extern void pascal_val_print (struct type *, int,
+ CORE_ADDR, struct ui_file *, int,
+ struct value *,
+ const struct value_print_options *);