 do not use. define graph_file '': do not use. define hash_fill_limit '10': specifies the first (default) level of global states compression (no effect on supertrace). The second level is set by compose_unit and compress_unit. define hash_size '1000': specifies the first (default) level of global states compression (no effect on supertrace). define HOME 'C:\WINNT\Profiles\Administrateur\ObjectGEODE': the location of the cur- rent home directory. define loose_time 'false': see Chapter 4. define main_hash_size '100000': specifies the first (default) level of global states compression (no effect on supertrace). define map_1param_signal_to_sequence 'false': reserved for TTCN test case generation. define marglim '1000': used for performance simulation. define max_lines_watch '1000': defines the maximum lines displayed in a watch window. define MODEL 'ping': current SDL file name. define msc_always_dynamic 'true': if true, the MSC trace is updated during automatic sim- ulation (go, redo etc.), otherwise it is updated after the end of the execution. define msc_fly 'true': if true, an MSC trace is created during the simulation. define msc_global 'true': if true, time in the generated MSC trace is global, otherwise local to each instance. define msc_xspace '140': horizontal space between two instances in the generated MSC trace; it seems that this option is no longer active, especially on the Windows version. define msc_yspace '20': same as above for the vertical space between two signals. define mscinst_by_event 'true': if true, the MSC instances are placed in their order of chrono- logical appearance, otherwise the instances are placed according to the msc for command (i.e. if you type msc for procl, proc2, if true you get procl drawn on the left and proc2 on the right, even if proc2 is first to receive a signal). Very handy to avoid reordering instances after MSC generation. define print_filter_condition_errors 'false': do not use. define print_hook if a name is entered, the user-defined printing operators (useful for 