* *.[hc]: add Emacs magic at the end of file, to ensure GNU
[bpt/guile.git] / libguile / debug.c
1 /* Debugging extensions for Guile
2 * Copyright (C) 1995, 1996, 1997, 1998, 1999 Free Software Foundation
3 *
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License as published by
6 * the Free Software Foundation; either version 2, or (at your option)
7 * any later version.
8 *
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
13 *
14 * You should have received a copy of the GNU General Public License
15 * along with this software; see the file COPYING. If not, write to
16 * the Free Software Foundation, Inc., 59 Temple Place, Suite 330,
17 * Boston, MA 02111-1307 USA
18 *
19 * As a special exception, the Free Software Foundation gives permission
20 * for additional uses of the text contained in its release of GUILE.
21 *
22 * The exception is that, if you link the GUILE library with other files
23 * to produce an executable, this does not by itself cause the
24 * resulting executable to be covered by the GNU General Public License.
25 * Your use of that executable is in no way restricted on account of
26 * linking the GUILE library code into it.
27 *
28 * This exception does not however invalidate any other reasons why
29 * the executable file might be covered by the GNU General Public License.
30 *
31 * This exception applies only to the code released by the
32 * Free Software Foundation under the name GUILE. If you copy
33 * code from other Free Software Foundation releases into a copy of
34 * GUILE, as the General Public License permits, the exception does
35 * not apply to the code that you add in this way. To avoid misleading
36 * anyone as to the status of such modified files, you must delete
37 * this exception notice from them.
38 *
39 * If you write modifications of your own for GUILE, it is your choice
40 * whether to permit this exception to apply to your modifications.
41 * If you do not wish that, delete this exception notice.
42 *
43 * The author can be reached at djurfeldt@nada.kth.se
44 * Mikael Djurfeldt, SANS/NADA KTH, 10044 STOCKHOLM, SWEDEN */
45
46 /* Software engineering face-lift by Greg J. Badros, 11-Dec-1999,
47 gjb@cs.washington.edu, http://www.cs.washington.edu/homes/gjb */
48
49
50 #include <stdio.h>
51 #include "_scm.h"
52 #include "eval.h"
53 #include "stackchk.h"
54 #include "throw.h"
55 #include "macros.h"
56 #include "smob.h"
57 #include "procprop.h"
58 #include "srcprop.h"
59 #include "alist.h"
60 #include "continuations.h"
61 #include "strports.h"
62 #include "read.h"
63 #include "feature.h"
64 #include "dynwind.h"
65 #include "modules.h"
66 #include "ports.h"
67
68 #include "validate.h"
69 #include "debug.h"
70 \f
71
72 /* {Run time control of the debugging evaluator}
73 */
74
75 SCM_DEFINE (scm_debug_options, "debug-options-interface", 0, 1, 0,
76 (SCM setting),
77 "")
78 #define FUNC_NAME s_scm_debug_options
79 {
80 SCM ans;
81 SCM_DEFER_INTS;
82 ans = scm_options (setting,
83 scm_debug_opts,
84 SCM_N_DEBUG_OPTIONS,
85 FUNC_NAME);
86 #ifndef SCM_RECKLESS
87 if (!(1 <= SCM_N_FRAMES && SCM_N_FRAMES <= SCM_MAX_FRAME_SIZE))
88 {
89 scm_options (ans, scm_debug_opts, SCM_N_DEBUG_OPTIONS, FUNC_NAME);
90 SCM_OUT_OF_RANGE (1, setting);
91 }
92 #endif
93 SCM_RESET_DEBUG_MODE;
94 scm_stack_checking_enabled_p = SCM_STACK_CHECKING_P;
95 scm_debug_eframe_size = 2 * SCM_N_FRAMES;
96 SCM_ALLOW_INTS;
97 return ans;
98 }
99 #undef FUNC_NAME
100
101 static void
102 with_traps_before (void *data)
103 {
104 int *trap_flag = data;
105 *trap_flag = SCM_TRAPS_P;
106 SCM_TRAPS_P = 1;
107 }
108
109 static void
110 with_traps_after (void *data)
111 {
112 int *trap_flag = data;
113 SCM_TRAPS_P = *trap_flag;
114 }
115
116 static SCM
117 with_traps_inner (void *data)
118 {
119 SCM thunk = (SCM) data;
120 return scm_apply (thunk, SCM_EOL, SCM_EOL);
121 }
122
123 SCM_DEFINE (scm_with_traps, "with-traps", 1, 0, 0,
124 (SCM thunk),
125 "")
126 #define FUNC_NAME s_scm_with_traps
127 {
128 int trap_flag;
129 SCM_VALIDATE_THUNK (1,thunk);
130 return scm_internal_dynamic_wind (with_traps_before,
131 with_traps_inner,
132 with_traps_after,
133 (void *) thunk,
134 &trap_flag);
135 }
136 #undef FUNC_NAME
137
138 \f
139 static SCM scm_sym_source, scm_sym_dots;
140 static SCM scm_sym_procname;
141
142 /* {Memoized Source}
143 */
144
145 long scm_tc16_memoized;
146
147
148 static int
149 prinmemoized (SCM obj,SCM port,scm_print_state *pstate)
150 {
151 int writingp = SCM_WRITINGP (pstate);
152 scm_puts ("#<memoized ", port);
153 SCM_SET_WRITINGP (pstate, 1);
154 #ifdef GUILE_DEBUG
155 scm_iprin1 (SCM_MEMOIZED_EXP (obj), port, pstate);
156 #else
157 scm_iprin1 (scm_unmemoize (obj), port, pstate);
158 #endif
159 SCM_SET_WRITINGP (pstate, writingp);
160 scm_putc ('>', port);
161 return 1;
162 }
163
164 SCM_DEFINE (scm_memoized_p, "memoized?", 1, 0, 0,
165 (SCM obj),
166 "")
167 #define FUNC_NAME s_scm_memoized_p
168 {
169 return SCM_BOOL(SCM_MEMOIZEDP (obj));
170 }
171 #undef FUNC_NAME
172
173 SCM
174 scm_make_memoized (SCM exp, SCM env)
175 {
176 /* *fixme* Check that env is a valid environment. */
177 register SCM z, ans;
178 SCM_ENTER_A_SECTION;
179 SCM_NEWSMOB (z, exp, env);
180 SCM_NEWSMOB (ans, scm_tc16_memoized, z);
181 SCM_EXIT_A_SECTION;
182 return ans;
183 }
184
185 #ifdef GUILE_DEBUG
186 /*
187 * Some primitives for construction of memoized code
188 *
189 * - procedure: memcons CAR CDR [ENV]
190 *
191 * Construct a pair, encapsulated in a memoized object.
192 *
193 * The CAR and CDR can be either normal or memoized. If ENV isn't
194 * specified, the top-level environment of the current module will
195 * be assumed. All environments must match.
196 *
197 * - procedure: make-gloc VARIABLE [ENV]
198 *
199 * Return a gloc, encapsulated in a memoized object.
200 *
201 * (Glocs can't exist in normal list structures, since they will
202 * be mistaken for structs.)
203 *
204 * - procedure: gloc? OBJECT
205 *
206 * Return #t if OBJECT is a memoized gloc.
207 *
208 * - procedure: make-iloc FRAME BINDING CDRP
209 *
210 * Return an iloc referring to frame no. FRAME, binding
211 * no. BINDING. If CDRP is non-#f, the iloc is referring to a
212 * frame consisting of a single pair, with the value stored in the
213 * CDR.
214 *
215 * - procedure: iloc? OBJECT
216 *
217 * Return #t if OBJECT is an iloc.
218 *
219 * - procedure: mem->proc MEMOIZED
220 *
221 * Construct a closure from the memoized lambda expression MEMOIZED
222 *
223 * WARNING! The code is not copied!
224 *
225 * - procedure: proc->mem CLOSURE
226 *
227 * Turn the closure CLOSURE into a memoized object.
228 *
229 * WARNING! The code is not copied!
230 *
231 * - constant: SCM_IM_AND
232 * - constant: SCM_IM_BEGIN
233 * - constant: SCM_IM_CASE
234 * - constant: SCM_IM_COND
235 * - constant: SCM_IM_DO
236 * - constant: SCM_IM_IF
237 * - constant: SCM_IM_LAMBDA
238 * - constant: SCM_IM_LET
239 * - constant: SCM_IM_LETSTAR
240 * - constant: SCM_IM_LETREC
241 * - constant: SCM_IM_OR
242 * - constant: SCM_IM_QUOTE
243 * - constant: SCM_IM_SET
244 * - constant: SCM_IM_DEFINE
245 * - constant: SCM_IM_APPLY
246 * - constant: SCM_IM_CONT
247 * - constant: SCM_IM_DISPATCH
248 */
249
250 #include "variable.h"
251 #include "procs.h"
252
253 SCM_DEFINE (scm_make_gloc, "make-gloc", 1, 1, 0,
254 (SCM var, SCM env),
255 "")
256 #define FUNC_NAME s_scm_make_gloc
257 {
258 #if 1 /* Unsafe */
259 if (SCM_CONSP (var))
260 var = scm_cons (SCM_BOOL_F, var);
261 else
262 #endif
263 SCM_VALIDATE_VARIABLE (1,var);
264 if (SCM_UNBNDP (env))
265 env = scm_top_level_env (SCM_CDR (scm_top_level_lookup_closure_var));
266 else
267 SCM_VALIDATE_NULLORCONS (2,env);
268 return scm_make_memoized (SCM_VARVCELL (var) + 1, env);
269 }
270 #undef FUNC_NAME
271
272 SCM_DEFINE (scm_gloc_p, "gloc?", 1, 0, 0,
273 (SCM obj),
274 "")
275 #define FUNC_NAME s_scm_gloc_p
276 {
277 return SCM_BOOL((SCM_MEMOIZEDP (obj)
278 && (SCM_UNPACK(SCM_MEMOIZED_EXP (obj)) & 7) == 1));
279 }
280 #undef FUNC_NAME
281
282 SCM_DEFINE (scm_make_iloc, "make-iloc", 3, 0, 0,
283 (SCM frame, SCM binding, SCM cdrp),
284 "")
285 #define FUNC_NAME s_scm_make_iloc
286 {
287 SCM_VALIDATE_INUM (1,frame);
288 SCM_VALIDATE_INUM (2,binding);
289 return (SCM_ILOC00
290 + SCM_IFRINC * SCM_INUM (frame)
291 + (SCM_NFALSEP (cdrp) ? SCM_ICDR : 0)
292 + SCM_IDINC * SCM_INUM (binding));
293 }
294 #undef FUNC_NAME
295
296 SCM_DEFINE (scm_iloc_p, "iloc?", 1, 0, 0,
297 (SCM obj),
298 "")
299 #define FUNC_NAME s_scm_iloc_p
300 {
301 return SCM_BOOL(SCM_ILOCP (obj));
302 }
303 #undef FUNC_NAME
304
305 SCM_DEFINE (scm_memcons, "memcons", 2, 1, 0,
306 (SCM car, SCM cdr, SCM env),
307 "")
308 #define FUNC_NAME s_scm_memcons
309 {
310 if (SCM_MEMOIZEDP (car))
311 {
312 /*fixme* environments may be two different but equal top-level envs */
313 if (!SCM_UNBNDP (env) && SCM_MEMOIZED_ENV (car) != env)
314 SCM_MISC_ERROR ("environment mismatch arg1 <-> arg3",
315 scm_cons2 (car, env, SCM_EOL));
316 else
317 env = SCM_MEMOIZED_ENV (car);
318 car = SCM_MEMOIZED_EXP (car);
319 }
320 if (SCM_MEMOIZEDP (cdr))
321 {
322 if (!SCM_UNBNDP (env) && SCM_MEMOIZED_ENV (cdr) != env)
323 SCM_MISC_ERROR ("environment mismatch arg2 <-> arg3",
324 scm_cons2 (cdr, env, SCM_EOL));
325 else
326 env = SCM_MEMOIZED_ENV (cdr);
327 cdr = SCM_MEMOIZED_EXP (cdr);
328 }
329 if (SCM_UNBNDP (env))
330 env = scm_top_level_env (SCM_CDR (scm_top_level_lookup_closure_var));
331 else
332 SCM_VALIDATE_NULLORCONS (3,env);
333 return scm_make_memoized (scm_cons (car, cdr), env);
334 }
335 #undef FUNC_NAME
336
337 SCM_DEFINE (scm_mem_to_proc, "mem->proc", 1, 0, 0,
338 (SCM obj),
339 "")
340 #define FUNC_NAME s_scm_mem_to_proc
341 {
342 SCM env;
343 SCM_VALIDATE_MEMOIZED (1,obj);
344 env = SCM_MEMOIZED_ENV (obj);
345 obj = SCM_MEMOIZED_EXP (obj);
346 if (!(SCM_NIMP (obj) && SCM_CAR (obj) == SCM_IM_LAMBDA))
347 SCM_MISC_ERROR ("expected lambda expression",
348 scm_cons (obj, SCM_EOL));
349 return scm_closure (SCM_CDR (obj), env);
350 }
351 #undef FUNC_NAME
352
353 SCM_DEFINE (scm_proc_to_mem, "proc->mem", 1, 0, 0,
354 (SCM obj),
355 "")
356 #define FUNC_NAME s_scm_proc_to_mem
357 {
358 SCM_VALIDATE_CLOSURE (1, obj);
359 return scm_make_memoized (scm_cons (SCM_IM_LAMBDA, SCM_CODE (obj)),
360 SCM_ENV (obj));
361 }
362 #undef FUNC_NAME
363
364 #endif /* GUILE_DEBUG */
365
366 SCM_DEFINE (scm_unmemoize, "unmemoize", 1, 0, 0,
367 (SCM m),
368 "")
369 #define FUNC_NAME s_scm_unmemoize
370 {
371 SCM_VALIDATE_MEMOIZED (1,m);
372 return scm_unmemocopy (SCM_MEMOIZED_EXP (m), SCM_MEMOIZED_ENV (m));
373 }
374 #undef FUNC_NAME
375
376 SCM_DEFINE (scm_memoized_environment, "memoized-environment", 1, 0, 0,
377 (SCM m),
378 "")
379 #define FUNC_NAME s_scm_memoized_environment
380 {
381 SCM_VALIDATE_MEMOIZED (1,m);
382 return SCM_MEMOIZED_ENV (m);
383 }
384 #undef FUNC_NAME
385
386 SCM_DEFINE (scm_procedure_name, "procedure-name", 1, 0, 0,
387 (SCM proc),
388 "")
389 #define FUNC_NAME s_scm_procedure_name
390 {
391 SCM_VALIDATE_PROC (1,proc);
392 switch (SCM_TYP7 (proc)) {
393 case scm_tcs_subrs:
394 return SCM_SNAME (proc);
395 default:
396 {
397 SCM name = scm_procedure_property (proc, scm_sym_name);
398 #if 0
399 /* Source property scm_sym_procname not implemented yet... */
400 SCM name = scm_source_property (SCM_CAR (SCM_CDR (SCM_CODE (proc))), scm_sym_procname);
401 if (SCM_FALSEP (name))
402 name = scm_procedure_property (proc, scm_sym_name);
403 #endif
404 if (SCM_FALSEP (name) && SCM_CLOSUREP (proc))
405 name = scm_reverse_lookup (SCM_ENV (proc), proc);
406 return name;
407 }
408 }
409 }
410 #undef FUNC_NAME
411
412 SCM_DEFINE (scm_procedure_source, "procedure-source", 1, 0, 0,
413 (SCM proc),
414 "")
415 #define FUNC_NAME s_scm_procedure_source
416 {
417 SCM_VALIDATE_NIM (1,proc);
418 switch (SCM_TYP7 (proc)) {
419 case scm_tcs_closures:
420 {
421 SCM src;
422 src = scm_source_property (SCM_CDR (SCM_CODE (proc)), scm_sym_copy);
423 if (src != SCM_BOOL_F)
424 return scm_cons2 (scm_sym_lambda, SCM_CAR (SCM_CODE (proc)), src);
425 src = SCM_CODE (proc);
426 return scm_cons (scm_sym_lambda,
427 scm_unmemocopy (src,
428 SCM_EXTEND_ENV (SCM_CAR (src),
429 SCM_EOL,
430 SCM_ENV (proc))));
431 }
432 case scm_tc7_contin:
433 case scm_tcs_subrs:
434 #ifdef CCLO
435 case scm_tc7_cclo:
436 #endif
437 /* It would indeed be a nice thing if we supplied source even for
438 built in procedures! */
439 return scm_procedure_property (proc, scm_sym_source);
440 default:
441 SCM_WTA(1,proc);
442 return 0;
443 }
444 }
445 #undef FUNC_NAME
446
447 SCM_DEFINE (scm_procedure_environment, "procedure-environment", 1, 0, 0,
448 (SCM proc),
449 "")
450 #define FUNC_NAME s_scm_procedure_environment
451 {
452 SCM_VALIDATE_NIM (1,proc);
453 switch (SCM_TYP7 (proc)) {
454 case scm_tcs_closures:
455 return SCM_ENV (proc);
456 case scm_tc7_contin:
457 case scm_tcs_subrs:
458 #ifdef CCLO
459 case scm_tc7_cclo:
460 #endif
461 return SCM_EOL;
462 default:
463 SCM_WTA(1,proc);
464 return 0;
465 }
466 }
467 #undef FUNC_NAME
468
469 \f
470
471 /* Eval in a local environment. We would like to have the ability to
472 * evaluate in a specified local environment, but due to the
473 * memoization this isn't normally possible. We solve it by copying
474 * the code before evaluating. One solution would be to have eval.c
475 * generate yet another evaluator. They are not very big actually.
476 */
477 SCM_DEFINE (scm_local_eval, "local-eval", 1, 1, 0,
478 (SCM exp, SCM env),
479 "Evaluate @var{exp} in its environment. If @var{env} is supplied,\n"
480 "it is the environment in which to evaluate @var{exp}. Otherwise,\n"
481 "@var{exp} must be a memoized code object (in which case, its environment\n"
482 "is implicit).")
483 #define FUNC_NAME s_scm_local_eval
484 {
485 if (SCM_UNBNDP (env))
486 {
487 SCM_VALIDATE_MEMOIZED (1,exp);
488 return scm_eval_3 (SCM_MEMOIZED_EXP (exp), 0, SCM_MEMOIZED_ENV (exp));
489 }
490 return scm_eval_3 (exp, 1, env);
491 }
492 #undef FUNC_NAME
493
494 #if 0
495 SCM_REGISTER_PROC (s_reverse_lookup, "reverse-lookup", 2, 0, 0, scm_reverse_lookup);
496 #endif
497
498 SCM
499 scm_reverse_lookup (SCM env, SCM data)
500 {
501 SCM names, values;
502 while (SCM_NIMP (env) && SCM_SLOPPY_CONSP (SCM_CAR (env)))
503 {
504 names = SCM_CAAR (env);
505 values = SCM_CDAR (env);
506 while (SCM_CONSP (names))
507 {
508 if (SCM_CAR (values) == data)
509 return SCM_CAR (names);
510 names = SCM_CDR (names);
511 values = SCM_CDR (values);
512 }
513 if (names != SCM_EOL && values == data)
514 return names;
515 env = SCM_CDR (env);
516 }
517 return SCM_BOOL_F;
518 }
519
520 SCM
521 scm_start_stack (SCM id, SCM exp, SCM env)
522 {
523 SCM answer;
524 scm_debug_frame vframe;
525 scm_debug_info vframe_vect_body;
526 vframe.prev = scm_last_debug_frame;
527 vframe.status = SCM_VOIDFRAME;
528 vframe.vect = &vframe_vect_body;
529 vframe.vect[0].id = id;
530 scm_last_debug_frame = &vframe;
531 answer = scm_eval_3 (exp, 1, env);
532 scm_last_debug_frame = vframe.prev;
533 return answer;
534 }
535
536 SCM_SYNTAX(s_start_stack, "start-stack", scm_makacro, scm_m_start_stack);
537
538 static SCM
539 scm_m_start_stack (SCM exp, SCM env)
540 {
541 exp = SCM_CDR (exp);
542 SCM_ASSERT (SCM_ECONSP (exp)
543 && SCM_ECONSP (SCM_CDR (exp))
544 && SCM_NULLP (SCM_CDDR (exp)),
545 exp,
546 SCM_WNA,
547 s_start_stack);
548 return scm_start_stack (scm_eval_car (exp, env), SCM_CADR (exp), env);
549 }
550
551 /* {Debug Objects}
552 *
553 * The debugging evaluator throws these on frame traps.
554 */
555
556 long scm_tc16_debugobj;
557
558 static int
559 prindebugobj (SCM obj,SCM port,scm_print_state *pstate)
560 {
561 scm_puts ("#<debug-object ", port);
562 scm_intprint ((int) SCM_DEBUGOBJ_FRAME (obj), 16, port);
563 scm_putc ('>', port);
564 return 1;
565 }
566
567 SCM_DEFINE (scm_debug_object_p, "debug-object?", 1, 0, 0,
568 (SCM obj),
569 "")
570 #define FUNC_NAME s_scm_debug_object_p
571 {
572 return SCM_BOOL(SCM_DEBUGOBJP (obj));
573 }
574 #undef FUNC_NAME
575
576
577 SCM
578 scm_make_debugobj (scm_debug_frame *frame)
579 {
580 register SCM z;
581 SCM_NEWCELL (z);
582 SCM_ENTER_A_SECTION;
583 SCM_SET_DEBUGOBJ_FRAME (z, (SCM) frame);
584 SCM_SETCAR (z, scm_tc16_debugobj);
585 SCM_EXIT_A_SECTION;
586 return z;
587 }
588
589 \f
590
591 /* Undocumented debugging procedure */
592 #ifdef GUILE_DEBUG
593 SCM_DEFINE (scm_debug_hang, "debug-hang", 0, 1, 0,
594 (SCM obj),
595 "")
596 #define FUNC_NAME s_scm_debug_hang
597 {
598 int go = 0;
599 while (!go) ;
600 return SCM_UNSPECIFIED;
601 }
602 #undef FUNC_NAME
603 #endif
604
605 \f
606
607 void
608 scm_init_debug ()
609 {
610 scm_init_opts (scm_debug_options, scm_debug_opts, SCM_N_DEBUG_OPTIONS);
611
612 scm_tc16_memoized = scm_make_smob_type_mfpe ("memoized", 0,
613 scm_markcdr, NULL, prinmemoized, NULL);
614
615 scm_tc16_debugobj = scm_make_smob_type_mfpe ("debug-object", 0,
616 NULL, NULL, prindebugobj, NULL);
617
618 scm_sym_procname = SCM_CAR (scm_sysintern ("procname", SCM_UNDEFINED));
619 scm_sym_dots = SCM_CAR (scm_sysintern ("...", SCM_UNDEFINED));
620 scm_sym_source = SCM_CAR (scm_sysintern ("source", SCM_UNDEFINED));
621
622 #ifdef GUILE_DEBUG
623 scm_sysintern ("SCM_IM_AND", SCM_IM_AND);
624 scm_sysintern ("SCM_IM_BEGIN", SCM_IM_BEGIN);
625 scm_sysintern ("SCM_IM_CASE", SCM_IM_CASE);
626 scm_sysintern ("SCM_IM_COND", SCM_IM_COND);
627 scm_sysintern ("SCM_IM_DO", SCM_IM_DO);
628 scm_sysintern ("SCM_IM_IF", SCM_IM_IF);
629 scm_sysintern ("SCM_IM_LAMBDA", SCM_IM_LAMBDA);
630 scm_sysintern ("SCM_IM_LET", SCM_IM_LET);
631 scm_sysintern ("SCM_IM_LETSTAR", SCM_IM_LETSTAR);
632 scm_sysintern ("SCM_IM_LETREC", SCM_IM_LETREC);
633 scm_sysintern ("SCM_IM_OR", SCM_IM_OR);
634 scm_sysintern ("SCM_IM_QUOTE", SCM_IM_QUOTE);
635 scm_sysintern ("SCM_IM_SET_X", SCM_IM_SET_X);
636 scm_sysintern ("SCM_IM_DEFINE", SCM_IM_DEFINE);
637 scm_sysintern ("SCM_IM_APPLY", SCM_IM_APPLY);
638 scm_sysintern ("SCM_IM_CONT", SCM_IM_CONT);
639 scm_sysintern ("SCM_IM_DISPATCH", SCM_IM_DISPATCH);
640 #endif
641 scm_add_feature ("debug-extensions");
642
643 #include "debug.x"
644 }
645
646 /*
647 Local Variables:
648 c-file-style: "gnu"
649 End:
650 */