2004-06-17 Michael Chastain <mec.gnu@mindspring.com>
[binutils-gdb.git] / gdb / arch-utils.c
1 /* Dynamic architecture support for GDB, the GNU debugger.
2
3 Copyright 1998, 1999, 2000, 2001, 2002, 2003 Free Software Foundation,
4 Inc.
5
6 This file is part of GDB.
7
8 This program is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2 of the License, or
11 (at your option) any later version.
12
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
17
18 You should have received a copy of the GNU General Public License
19 along with this program; if not, write to the Free Software
20 Foundation, Inc., 59 Temple Place - Suite 330,
21 Boston, MA 02111-1307, USA. */
22
23 #include "defs.h"
24
25 #include "arch-utils.h"
26 #include "buildsym.h"
27 #include "gdbcmd.h"
28 #include "inferior.h" /* enum CALL_DUMMY_LOCATION et.al. */
29 #include "gdb_string.h"
30 #include "regcache.h"
31 #include "gdb_assert.h"
32 #include "sim-regno.h"
33
34 #include "osabi.h"
35
36 #include "version.h"
37
38 #include "floatformat.h"
39
40 /* Implementation of extract return value that grubs around in the
41 register cache. */
42 void
43 legacy_extract_return_value (struct type *type, struct regcache *regcache,
44 void *valbuf)
45 {
46 char *registers = deprecated_grub_regcache_for_registers (regcache);
47 bfd_byte *buf = valbuf;
48 DEPRECATED_EXTRACT_RETURN_VALUE (type, registers, buf); /* OK */
49 }
50
51 /* Implementation of store return value that grubs the register cache.
52 Takes a local copy of the buffer to avoid const problems. */
53 void
54 legacy_store_return_value (struct type *type, struct regcache *regcache,
55 const void *buf)
56 {
57 bfd_byte *b = alloca (TYPE_LENGTH (type));
58 gdb_assert (regcache == current_regcache);
59 memcpy (b, buf, TYPE_LENGTH (type));
60 DEPRECATED_STORE_RETURN_VALUE (type, b);
61 }
62
63
64 int
65 always_use_struct_convention (int gcc_p, struct type *value_type)
66 {
67 return 1;
68 }
69
70
71 int
72 legacy_register_sim_regno (int regnum)
73 {
74 /* Only makes sense to supply raw registers. */
75 gdb_assert (regnum >= 0 && regnum < NUM_REGS);
76 /* NOTE: cagney/2002-05-13: The old code did it this way and it is
77 suspected that some GDB/SIM combinations may rely on this
78 behavour. The default should be one2one_register_sim_regno
79 (below). */
80 if (REGISTER_NAME (regnum) != NULL
81 && REGISTER_NAME (regnum)[0] != '\0')
82 return regnum;
83 else
84 return LEGACY_SIM_REGNO_IGNORE;
85 }
86
87 CORE_ADDR
88 generic_skip_trampoline_code (CORE_ADDR pc)
89 {
90 return 0;
91 }
92
93 CORE_ADDR
94 generic_skip_solib_resolver (struct gdbarch *gdbarch, CORE_ADDR pc)
95 {
96 return 0;
97 }
98
99 int
100 generic_in_solib_call_trampoline (CORE_ADDR pc, char *name)
101 {
102 return 0;
103 }
104
105 int
106 generic_in_solib_return_trampoline (CORE_ADDR pc, char *name)
107 {
108 return 0;
109 }
110
111 int
112 generic_in_function_epilogue_p (struct gdbarch *gdbarch, CORE_ADDR pc)
113 {
114 return 0;
115 }
116
117 void
118 generic_remote_translate_xfer_address (struct gdbarch *gdbarch,
119 struct regcache *regcache,
120 CORE_ADDR gdb_addr, int gdb_len,
121 CORE_ADDR * rem_addr, int *rem_len)
122 {
123 *rem_addr = gdb_addr;
124 *rem_len = gdb_len;
125 }
126
127 /* Helper functions for INNER_THAN */
128
129 int
130 core_addr_lessthan (CORE_ADDR lhs, CORE_ADDR rhs)
131 {
132 return (lhs < rhs);
133 }
134
135 int
136 core_addr_greaterthan (CORE_ADDR lhs, CORE_ADDR rhs)
137 {
138 return (lhs > rhs);
139 }
140
141
142 /* Helper functions for TARGET_{FLOAT,DOUBLE}_FORMAT */
143
144 const struct floatformat *
145 default_float_format (struct gdbarch *gdbarch)
146 {
147 int byte_order = gdbarch_byte_order (gdbarch);
148 switch (byte_order)
149 {
150 case BFD_ENDIAN_BIG:
151 return &floatformat_ieee_single_big;
152 case BFD_ENDIAN_LITTLE:
153 return &floatformat_ieee_single_little;
154 default:
155 internal_error (__FILE__, __LINE__,
156 "default_float_format: bad byte order");
157 }
158 }
159
160
161 const struct floatformat *
162 default_double_format (struct gdbarch *gdbarch)
163 {
164 int byte_order = gdbarch_byte_order (gdbarch);
165 switch (byte_order)
166 {
167 case BFD_ENDIAN_BIG:
168 return &floatformat_ieee_double_big;
169 case BFD_ENDIAN_LITTLE:
170 return &floatformat_ieee_double_little;
171 default:
172 internal_error (__FILE__, __LINE__,
173 "default_double_format: bad byte order");
174 }
175 }
176
177 /* Misc helper functions for targets. */
178
179 CORE_ADDR
180 core_addr_identity (CORE_ADDR addr)
181 {
182 return addr;
183 }
184
185 CORE_ADDR
186 convert_from_func_ptr_addr_identity (struct gdbarch *gdbarch, CORE_ADDR addr,
187 struct target_ops *targ)
188 {
189 return addr;
190 }
191
192 int
193 no_op_reg_to_regnum (int reg)
194 {
195 return reg;
196 }
197
198 CORE_ADDR
199 deprecated_init_frame_pc_default (int fromleaf, struct frame_info *prev)
200 {
201 if (fromleaf && DEPRECATED_SAVED_PC_AFTER_CALL_P ())
202 return DEPRECATED_SAVED_PC_AFTER_CALL (get_next_frame (prev));
203 else if (get_next_frame (prev) != NULL)
204 return DEPRECATED_FRAME_SAVED_PC (get_next_frame (prev));
205 else
206 return read_pc ();
207 }
208
209 void
210 default_elf_make_msymbol_special (asymbol *sym, struct minimal_symbol *msym)
211 {
212 return;
213 }
214
215 void
216 default_coff_make_msymbol_special (int val, struct minimal_symbol *msym)
217 {
218 return;
219 }
220
221 int
222 cannot_register_not (int regnum)
223 {
224 return 0;
225 }
226
227 /* Legacy version of target_virtual_frame_pointer(). Assumes that
228 there is an DEPRECATED_FP_REGNUM and that it is the same, cooked or
229 raw. */
230
231 void
232 legacy_virtual_frame_pointer (CORE_ADDR pc,
233 int *frame_regnum,
234 LONGEST *frame_offset)
235 {
236 /* FIXME: cagney/2002-09-13: This code is used when identifying the
237 frame pointer of the current PC. It is assuming that a single
238 register and an offset can determine this. I think it should
239 instead generate a byte code expression as that would work better
240 with things like Dwarf2's CFI. */
241 if (DEPRECATED_FP_REGNUM >= 0 && DEPRECATED_FP_REGNUM < NUM_REGS)
242 *frame_regnum = DEPRECATED_FP_REGNUM;
243 else if (SP_REGNUM >= 0 && SP_REGNUM < NUM_REGS)
244 *frame_regnum = SP_REGNUM;
245 else
246 /* Should this be an internal error? I guess so, it is reflecting
247 an architectural limitation in the current design. */
248 internal_error (__FILE__, __LINE__, "No virtual frame pointer available");
249 *frame_offset = 0;
250 }
251
252 /* Assume the world is sane, every register's virtual and real size
253 is identical. */
254
255 int
256 generic_register_size (int regnum)
257 {
258 gdb_assert (regnum >= 0 && regnum < NUM_REGS + NUM_PSEUDO_REGS);
259 if (gdbarch_register_type_p (current_gdbarch))
260 return TYPE_LENGTH (gdbarch_register_type (current_gdbarch, regnum));
261 else
262 /* FIXME: cagney/2003-03-01: Once all architectures implement
263 gdbarch_register_type(), this entire function can go away. It
264 is made obsolete by register_size(). */
265 return TYPE_LENGTH (DEPRECATED_REGISTER_VIRTUAL_TYPE (regnum)); /* OK */
266 }
267
268 /* Assume all registers are adjacent. */
269
270 int
271 generic_register_byte (int regnum)
272 {
273 int byte;
274 int i;
275 gdb_assert (regnum >= 0 && regnum < NUM_REGS + NUM_PSEUDO_REGS);
276 byte = 0;
277 for (i = 0; i < regnum; i++)
278 {
279 byte += generic_register_size (i);
280 }
281 return byte;
282 }
283
284 \f
285 int
286 legacy_pc_in_sigtramp (CORE_ADDR pc, char *name)
287 {
288 #if defined (DEPRECATED_IN_SIGTRAMP)
289 return DEPRECATED_IN_SIGTRAMP (pc, name);
290 #else
291 return name && strcmp ("_sigtramp", name) == 0;
292 #endif
293 }
294
295 int
296 generic_convert_register_p (int regnum, struct type *type)
297 {
298 return 0;
299 }
300
301 int
302 default_stabs_argument_has_addr (struct gdbarch *gdbarch, struct type *type)
303 {
304 if (DEPRECATED_REG_STRUCT_HAS_ADDR_P ()
305 && DEPRECATED_REG_STRUCT_HAS_ADDR (processing_gcc_compilation, type))
306 {
307 CHECK_TYPEDEF (type);
308
309 return (TYPE_CODE (type) == TYPE_CODE_STRUCT
310 || TYPE_CODE (type) == TYPE_CODE_UNION
311 || TYPE_CODE (type) == TYPE_CODE_SET
312 || TYPE_CODE (type) == TYPE_CODE_BITSTRING);
313 }
314
315 return 0;
316 }
317
318 \f
319 /* Functions to manipulate the endianness of the target. */
320
321 /* ``target_byte_order'' is only used when non- multi-arch.
322 Multi-arch targets obtain the current byte order using the
323 TARGET_BYTE_ORDER gdbarch method.
324
325 The choice of initial value is entirely arbitrary. During startup,
326 the function initialize_current_architecture() updates this value
327 based on default byte-order information extracted from BFD. */
328 static int target_byte_order = BFD_ENDIAN_BIG;
329 static int target_byte_order_auto = 1;
330
331 enum bfd_endian
332 selected_byte_order (void)
333 {
334 if (target_byte_order_auto)
335 return BFD_ENDIAN_UNKNOWN;
336 else
337 return target_byte_order;
338 }
339
340 static const char endian_big[] = "big";
341 static const char endian_little[] = "little";
342 static const char endian_auto[] = "auto";
343 static const char *endian_enum[] =
344 {
345 endian_big,
346 endian_little,
347 endian_auto,
348 NULL,
349 };
350 static const char *set_endian_string;
351
352 /* Called by ``show endian''. */
353
354 static void
355 show_endian (char *args, int from_tty)
356 {
357 if (target_byte_order_auto)
358 printf_unfiltered ("The target endianness is set automatically (currently %s endian)\n",
359 (TARGET_BYTE_ORDER == BFD_ENDIAN_BIG ? "big" : "little"));
360 else
361 printf_unfiltered ("The target is assumed to be %s endian\n",
362 (TARGET_BYTE_ORDER == BFD_ENDIAN_BIG ? "big" : "little"));
363 }
364
365 static void
366 set_endian (char *ignore_args, int from_tty, struct cmd_list_element *c)
367 {
368 if (set_endian_string == endian_auto)
369 {
370 target_byte_order_auto = 1;
371 }
372 else if (set_endian_string == endian_little)
373 {
374 struct gdbarch_info info;
375 target_byte_order_auto = 0;
376 gdbarch_info_init (&info);
377 info.byte_order = BFD_ENDIAN_LITTLE;
378 if (! gdbarch_update_p (info))
379 printf_unfiltered ("Little endian target not supported by GDB\n");
380 }
381 else if (set_endian_string == endian_big)
382 {
383 struct gdbarch_info info;
384 target_byte_order_auto = 0;
385 gdbarch_info_init (&info);
386 info.byte_order = BFD_ENDIAN_BIG;
387 if (! gdbarch_update_p (info))
388 printf_unfiltered ("Big endian target not supported by GDB\n");
389 }
390 else
391 internal_error (__FILE__, __LINE__,
392 "set_endian: bad value");
393 show_endian (NULL, from_tty);
394 }
395
396 /* Functions to manipulate the architecture of the target */
397
398 enum set_arch { set_arch_auto, set_arch_manual };
399
400 static int target_architecture_auto = 1;
401
402 static const char *set_architecture_string;
403
404 const char *
405 selected_architecture_name (void)
406 {
407 if (target_architecture_auto)
408 return NULL;
409 else
410 return set_architecture_string;
411 }
412
413 /* Called if the user enters ``show architecture'' without an
414 argument. */
415
416 static void
417 show_architecture (char *args, int from_tty)
418 {
419 const char *arch;
420 arch = TARGET_ARCHITECTURE->printable_name;
421 if (target_architecture_auto)
422 printf_filtered ("The target architecture is set automatically (currently %s)\n", arch);
423 else
424 printf_filtered ("The target architecture is assumed to be %s\n", arch);
425 }
426
427
428 /* Called if the user enters ``set architecture'' with or without an
429 argument. */
430
431 static void
432 set_architecture (char *ignore_args, int from_tty, struct cmd_list_element *c)
433 {
434 if (strcmp (set_architecture_string, "auto") == 0)
435 {
436 target_architecture_auto = 1;
437 }
438 else
439 {
440 struct gdbarch_info info;
441 gdbarch_info_init (&info);
442 info.bfd_arch_info = bfd_scan_arch (set_architecture_string);
443 if (info.bfd_arch_info == NULL)
444 internal_error (__FILE__, __LINE__,
445 "set_architecture: bfd_scan_arch failed");
446 if (gdbarch_update_p (info))
447 target_architecture_auto = 0;
448 else
449 printf_unfiltered ("Architecture `%s' not recognized.\n",
450 set_architecture_string);
451 }
452 show_architecture (NULL, from_tty);
453 }
454
455 /* Try to select a global architecture that matches "info". Return
456 non-zero if the attempt succeds. */
457 int
458 gdbarch_update_p (struct gdbarch_info info)
459 {
460 struct gdbarch *new_gdbarch = gdbarch_find_by_info (info);
461
462 /* If there no architecture by that name, reject the request. */
463 if (new_gdbarch == NULL)
464 {
465 if (gdbarch_debug)
466 fprintf_unfiltered (gdb_stdlog, "gdbarch_update_p: "
467 "Architecture not found\n");
468 return 0;
469 }
470
471 /* If it is the same old architecture, accept the request (but don't
472 swap anything). */
473 if (new_gdbarch == current_gdbarch)
474 {
475 if (gdbarch_debug)
476 fprintf_unfiltered (gdb_stdlog, "gdbarch_update_p: "
477 "Architecture 0x%08lx (%s) unchanged\n",
478 (long) new_gdbarch,
479 gdbarch_bfd_arch_info (new_gdbarch)->printable_name);
480 return 1;
481 }
482
483 /* It's a new architecture, swap it in. */
484 if (gdbarch_debug)
485 fprintf_unfiltered (gdb_stdlog, "gdbarch_update_p: "
486 "New architecture 0x%08lx (%s) selected\n",
487 (long) new_gdbarch,
488 gdbarch_bfd_arch_info (new_gdbarch)->printable_name);
489 deprecated_current_gdbarch_select_hack (new_gdbarch);
490
491 return 1;
492 }
493
494 /* Return the architecture for ABFD. If no suitable architecture
495 could be find, return NULL. */
496
497 struct gdbarch *
498 gdbarch_from_bfd (bfd *abfd)
499 {
500 struct gdbarch *old_gdbarch = current_gdbarch;
501 struct gdbarch *new_gdbarch;
502 struct gdbarch_info info;
503
504 gdbarch_info_init (&info);
505 info.abfd = abfd;
506 return gdbarch_find_by_info (info);
507 }
508
509 /* Set the dynamic target-system-dependent parameters (architecture,
510 byte-order) using information found in the BFD */
511
512 void
513 set_gdbarch_from_file (bfd *abfd)
514 {
515 struct gdbarch *gdbarch;
516
517 gdbarch = gdbarch_from_bfd (abfd);
518 if (gdbarch == NULL)
519 error ("Architecture of file not recognized.\n");
520 deprecated_current_gdbarch_select_hack (gdbarch);
521 }
522
523 /* Initialize the current architecture. Update the ``set
524 architecture'' command so that it specifies a list of valid
525 architectures. */
526
527 #ifdef DEFAULT_BFD_ARCH
528 extern const bfd_arch_info_type DEFAULT_BFD_ARCH;
529 static const bfd_arch_info_type *default_bfd_arch = &DEFAULT_BFD_ARCH;
530 #else
531 static const bfd_arch_info_type *default_bfd_arch;
532 #endif
533
534 #ifdef DEFAULT_BFD_VEC
535 extern const bfd_target DEFAULT_BFD_VEC;
536 static const bfd_target *default_bfd_vec = &DEFAULT_BFD_VEC;
537 #else
538 static const bfd_target *default_bfd_vec;
539 #endif
540
541 void
542 initialize_current_architecture (void)
543 {
544 const char **arches = gdbarch_printable_names ();
545
546 /* determine a default architecture and byte order. */
547 struct gdbarch_info info;
548 gdbarch_info_init (&info);
549
550 /* Find a default architecture. */
551 if (info.bfd_arch_info == NULL
552 && default_bfd_arch != NULL)
553 info.bfd_arch_info = default_bfd_arch;
554 if (info.bfd_arch_info == NULL)
555 {
556 /* Choose the architecture by taking the first one
557 alphabetically. */
558 const char *chosen = arches[0];
559 const char **arch;
560 for (arch = arches; *arch != NULL; arch++)
561 {
562 if (strcmp (*arch, chosen) < 0)
563 chosen = *arch;
564 }
565 if (chosen == NULL)
566 internal_error (__FILE__, __LINE__,
567 "initialize_current_architecture: No arch");
568 info.bfd_arch_info = bfd_scan_arch (chosen);
569 if (info.bfd_arch_info == NULL)
570 internal_error (__FILE__, __LINE__,
571 "initialize_current_architecture: Arch not found");
572 }
573
574 /* Take several guesses at a byte order. */
575 if (info.byte_order == BFD_ENDIAN_UNKNOWN
576 && default_bfd_vec != NULL)
577 {
578 /* Extract BFD's default vector's byte order. */
579 switch (default_bfd_vec->byteorder)
580 {
581 case BFD_ENDIAN_BIG:
582 info.byte_order = BFD_ENDIAN_BIG;
583 break;
584 case BFD_ENDIAN_LITTLE:
585 info.byte_order = BFD_ENDIAN_LITTLE;
586 break;
587 default:
588 break;
589 }
590 }
591 if (info.byte_order == BFD_ENDIAN_UNKNOWN)
592 {
593 /* look for ``*el-*'' in the target name. */
594 const char *chp;
595 chp = strchr (target_name, '-');
596 if (chp != NULL
597 && chp - 2 >= target_name
598 && strncmp (chp - 2, "el", 2) == 0)
599 info.byte_order = BFD_ENDIAN_LITTLE;
600 }
601 if (info.byte_order == BFD_ENDIAN_UNKNOWN)
602 {
603 /* Wire it to big-endian!!! */
604 info.byte_order = BFD_ENDIAN_BIG;
605 }
606
607 if (! gdbarch_update_p (info))
608 internal_error (__FILE__, __LINE__,
609 "initialize_current_architecture: Selection of initial architecture failed");
610
611 /* Create the ``set architecture'' command appending ``auto'' to the
612 list of architectures. */
613 {
614 struct cmd_list_element *c;
615 /* Append ``auto''. */
616 int nr;
617 for (nr = 0; arches[nr] != NULL; nr++);
618 arches = xrealloc (arches, sizeof (char*) * (nr + 2));
619 arches[nr + 0] = "auto";
620 arches[nr + 1] = NULL;
621 /* FIXME: add_set_enum_cmd() uses an array of ``char *'' instead
622 of ``const char *''. We just happen to know that the casts are
623 safe. */
624 c = add_set_enum_cmd ("architecture", class_support,
625 arches, &set_architecture_string,
626 "Set architecture of target.",
627 &setlist);
628 set_cmd_sfunc (c, set_architecture);
629 add_alias_cmd ("processor", "architecture", class_support, 1, &setlist);
630 /* Don't use set_from_show - need to print both auto/manual and
631 current setting. */
632 add_cmd ("architecture", class_support, show_architecture,
633 "Show the current target architecture", &showlist);
634 }
635 }
636
637
638 /* Initialize a gdbarch info to values that will be automatically
639 overridden. Note: Originally, this ``struct info'' was initialized
640 using memset(0). Unfortunately, that ran into problems, namely
641 BFD_ENDIAN_BIG is zero. An explicit initialization function that
642 can explicitly set each field to a well defined value is used. */
643
644 void
645 gdbarch_info_init (struct gdbarch_info *info)
646 {
647 memset (info, 0, sizeof (struct gdbarch_info));
648 info->byte_order = BFD_ENDIAN_UNKNOWN;
649 info->osabi = GDB_OSABI_UNINITIALIZED;
650 }
651
652 /* Similar to init, but this time fill in the blanks. Information is
653 obtained from the specified architecture, global "set ..." options,
654 and explicitly initialized INFO fields. */
655
656 void
657 gdbarch_info_fill (struct gdbarch *gdbarch, struct gdbarch_info *info)
658 {
659 /* "(gdb) set architecture ...". */
660 if (info->bfd_arch_info == NULL
661 && !target_architecture_auto
662 && gdbarch != NULL)
663 info->bfd_arch_info = gdbarch_bfd_arch_info (gdbarch);
664 if (info->bfd_arch_info == NULL
665 && info->abfd != NULL
666 && bfd_get_arch (info->abfd) != bfd_arch_unknown
667 && bfd_get_arch (info->abfd) != bfd_arch_obscure)
668 info->bfd_arch_info = bfd_get_arch_info (info->abfd);
669 if (info->bfd_arch_info == NULL
670 && gdbarch != NULL)
671 info->bfd_arch_info = gdbarch_bfd_arch_info (gdbarch);
672
673 /* "(gdb) set byte-order ...". */
674 if (info->byte_order == BFD_ENDIAN_UNKNOWN
675 && !target_byte_order_auto
676 && gdbarch != NULL)
677 info->byte_order = gdbarch_byte_order (gdbarch);
678 /* From the INFO struct. */
679 if (info->byte_order == BFD_ENDIAN_UNKNOWN
680 && info->abfd != NULL)
681 info->byte_order = (bfd_big_endian (info->abfd) ? BFD_ENDIAN_BIG
682 : bfd_little_endian (info->abfd) ? BFD_ENDIAN_LITTLE
683 : BFD_ENDIAN_UNKNOWN);
684 /* From the current target. */
685 if (info->byte_order == BFD_ENDIAN_UNKNOWN
686 && gdbarch != NULL)
687 info->byte_order = gdbarch_byte_order (gdbarch);
688
689 /* "(gdb) set osabi ...". Handled by gdbarch_lookup_osabi. */
690 if (info->osabi == GDB_OSABI_UNINITIALIZED)
691 info->osabi = gdbarch_lookup_osabi (info->abfd);
692 if (info->osabi == GDB_OSABI_UNINITIALIZED
693 && gdbarch != NULL)
694 info->osabi = gdbarch_osabi (gdbarch);
695
696 /* Must have at least filled in the architecture. */
697 gdb_assert (info->bfd_arch_info != NULL);
698 }
699
700 /* */
701
702 extern initialize_file_ftype _initialize_gdbarch_utils; /* -Wmissing-prototypes */
703
704 void
705 _initialize_gdbarch_utils (void)
706 {
707 struct cmd_list_element *c;
708 c = add_set_enum_cmd ("endian", class_support,
709 endian_enum, &set_endian_string,
710 "Set endianness of target.",
711 &setlist);
712 set_cmd_sfunc (c, set_endian);
713 /* Don't use set_from_show - need to print both auto/manual and
714 current setting. */
715 add_cmd ("endian", class_support, show_endian,
716 "Show the current byte-order", &showlist);
717 }