--- /dev/null
+SIGSEGV received at bfffeacc in /home/cadet/sacerdot/jdk118/lib/linux/native_threads/libjitc.so. Processing terminated
+java full version "JDK 1.1.8 IBM build l118-19991013 (JIT enabled: jitc)"
+args: /home/cadet/sacerdot/jdk118/bin/linux/native_threads/java xaland 12345 12346 examples/style/annotatedcont.xsl examples/style/annotatedpres.xsl examples/style/theory_content.xsl examples/style/theory_pres.xsl
+
+Operating Environment
+---------------------
+Host : cadet.
+OS Level : 2.2.14-5.0smp.#1 SMP Tue Mar 7 21:01:40 EST 2000
+glibc Version : 2.1.3
+No. of Procs : 1
+Memory Info:
+ total: used: free: shared: buffers: cached:
+Mem: 64503808 55078912 9424896 36126720 1527808 18075648
+Swap: 133885952 7442432 126443520
+MemTotal: 62992 kB
+MemFree: 9204 kB
+MemShared: 35280 kB
+Buffers: 1492 kB
+Cached: 17652 kB
+BigTotal: 0 kB
+BigFree: 0 kB
+SwapTotal: 130748 kB
+SwapFree: 123480 kB
+
+Application Environment
+-----------------------
+Signal Handlers -
+ SIGQUIT : ignored
+ SIGILL : sysThreadIDump (libjava.so)
+ SIGABRT : sysThreadIDump (libjava.so)
+ SIGFPE : sysThreadIDump (libjava.so)
+ SIGBUS : sysThreadIDump (libjava.so)
+ SIGSEGV : sysThreadIDump (libjava.so)
+ SIGPIPE : ignored
+ SIGUSR1 : doSuspendLoop (libjava.so)
+
+Environment Variables -
+ LESSOPEN=|/usr/bin/lesspipe.sh %s
+ SAL_DO_NOT_USE_INVERT50=true
+ HISTSIZE=1000
+ HOSTNAME=cadet
+ LOGNAME=sacerdot
+ VISUAL=/usr/bin/emacs
+ LD_LIBRARY_PATH=/home/cadet/sacerdot/jdk118/lib/linux/native_threads:/usr/local/lib/gtkmathview:/home/pauillac/coq3/sacerdot/rvplayer5.0
+ MAIL=/var/spool/mail/sacerdot
+ PAGER=less
+ CLASSPATH=.:/usr/share/java/bsf.jar:/usr/share/java/xalan.jar:/usr/share/java/xerces.jar:/home/cadet/sacerdot/jdk118/classes:/home/cadet/sacerdot/jdk118/lib/classes.jar:/home/cadet/sacerdot/jdk118/lib/rt.jar:/home/cadet/sacerdot/jdk118/lib/i18n.jar:/home/cadet/sacerdot/jdk118/lib/classes.zip
+ LESSCHARDEF=8bcccbcc18b95.33b.
+ ARCH=i586
+ PROMPT=cad:
+ TERM=xterm
+ HOSTTYPE=i386
+ PATH=/home/cadet/sacerdot/jdk118/bin:/home/pauillac/coq3/sacerdot/bin/i586:/home/pauillac/coq3/sacerdot/bin:/usr/bin/X11:/usr/bin:/usr/local/bin:/usr/ucb:/usr/bin:/bin:/usr/sbin:/sbin:/usr/games:.
+ PRINTER=hp11rv
+ HOME=/home/pauillac/coq3/sacerdot
+ SHELL=/bin/sh
+ ELANLIB=/home/pauillac/coq3/sacerdot/elan-dist.3.00/elanlib
+ PILOTPORT=/dev/ttyS1
+ TEXINPUTS=:.:/home/pauillac/coq3/sacerdot/lib/latex/inputs:/usr/local/lib/tex/inputs3
+ USER=sacerdot
+ ENSCRIPT=-Php11rvl -2 -r -B -L66 -k -h
+ MANPATH=/usr/man/preformat:/usr/man:/usr/X11/man:/usr/local/man:/home/pauillac/coq3/sacerdot/man
+ LESS=-m -e -q -d
+ JAVA_HOME=/home/cadet/sacerdot/jdk118
+ DISPLAY=:0.0
+ MAKEFLAGS=
+ HOST=cadet
+ OSTYPE=Linux
+ NNTPSERVER=news-rocq.inria.fr
+ WINDOWID=54525966
+ SHLVL=4
+ MAKELEVEL=1
+ LS_COLORS=no=00:fi=00:di=01;34:ln=01;36:pi=40;33:so=01;35:bd=40;33;01:cd=40;33;01:or=01;05;37;41:mi=01;05;37;41:ex=01;32:*.cmd=01;32:*.exe=01;32:*.com=01;32:*.btm=01;32:*.bat=01;32:*.sh=01;32:*.csh=01;32:*.tar=01;31:*.tgz=01;31:*.arj=01;31:*.taz=01;31:*.lzh=01;31:*.zip=01;31:*.z=01;31:*.Z=01;31:*.gz=01;31:*.bz2=01;31:*.bz=01;31:*.tz=01;31:*.rpm=01;31:*.cpio=01;31:*.jpg=01;35:*.gif=01;35:*.bmp=01;35:*.xbm=01;35:*.xpm=01;35:*.png=01;35:*.tif=01;35:
+ EDITOR=/usr/bin/emacs
+ MFLAGS=
+ CVSROOT=/net/pauillac/constr/ARCHIVE
+
+
+Current Thread Details
+----------------------
+ "main" (TID:0x402e62d8, sys_thread_t:0x804abe0)
+ Native Thread State: ThreadID: 00000400 Reuse: 1 USER PRIMORDIAL RUNNING
+ Native Stack Data : base: bffff47c pointer bffbf96c used(260880) free(-13072)
+ ----- Monitors held -----
+ ----- Native stack -----
+
+
+
+
+
+
+
+
+ ??
+ ??
+ ??
+
+ java_lang_Compiler_start
+
+ __irem_trap6
+ ------ Java stack ------ () prio=5 *current thread*
+ org.apache.xalan.xslt.XSLTEngineImpl.createStylesheetRoot(XSLTEngineImpl.java:715)
+ org.apache.xalan.xslt.XSLTEngineImpl.processStylesheet(Compiled Code)
+ org.apache.xalan.xslt.XSLTEngineImpl.processStylesheet(Compiled Code)
+ xaland.main(Compiled Code)
+----------------------------------------------------------------------
+
+
+Total Thread Count: 3
+Active Thread Count: 3
+JNI Thread Count: 0
+
+Full thread dump:
+ "Async Garbage Collector" (TID:0x402e6238, sys_thread_t:0x8091f50)
+ Native Thread State: ThreadID: 00000803 Reuse: 1 DAEMON MONITOR WAIT
+ Native Stack Data : base: bf5ffd84 pointer bf5ffb78 used(524) free(247284)
+ ----- Monitors held -----
+ ----- Native stack -----
+ sysMonitorWait
+ sysThreadSleep
+ threadSleep
+ SetOrigArgs
+ sysThread_shell
+ pthread_detach
+ __clone
+ ------ Java stack ------ () prio=1
+----------------------------------------------------------------------
+
+ "Finalizer thread" (TID:0x402e6288, sys_thread_t:0x8091cd0)
+ Native Thread State: ThreadID: 00000402 Reuse: 1 DAEMON MONITOR WAIT
+ Native Stack Data : base: bf7ffd84 pointer bf7ffbec used(408) free(247400)
+ ----- Monitors held -----
+ ----- Native stack -----
+ sysMonitorWait - waiting on Finalize me queue lock
+ finalizeOnExit
+ sysThread_shell
+ pthread_detach
+ __clone
+ ------ Java stack ------ () prio=1
+----------------------------------------------------------------------
+
+ "main" (TID:0x402e62d8, sys_thread_t:0x804abe0)
+ Native Thread State: ThreadID: 00000400 Reuse: 1 USER PRIMORDIAL RUNNING
+ Native Stack Data : base: bffff47c pointer bffbf960 used(260892) free(-13084)
+ ----- Monitors held -----
+ ----- Native stack -----
+
+
+
+
+
+
+
+
+ ??
+ ??
+ ??
+
+ java_lang_Compiler_start
+
+ __irem_trap6
+ ------ Java stack ------ () prio=5 *current thread*
+ org.apache.xalan.xslt.XSLTEngineImpl.createStylesheetRoot(XSLTEngineImpl.java:715)
+ org.apache.xalan.xslt.XSLTEngineImpl.processStylesheet(Compiled Code)
+ org.apache.xalan.xslt.XSLTEngineImpl.processStylesheet(Compiled Code)
+ xaland.main(Compiled Code)
+----------------------------------------------------------------------
+
+
+System Monitor Status
+---------------------
+ JIT monitor: unowned.
+ JIT monitor: unowned.
+ JIT monitor: unowned.
+ JIT monitor: unowned.
+ JIT monitor: unowned.
+ Thread queue lock: unowned.
+ Name and type hash table lock: unowned.
+ String intern lock: unowned.
+ JNI pinning lock: unowned.
+ JNI global reference lock: unowned.
+ Zip lock: unowned.
+ BinClass lock: unowned.
+ Class loading lock: unowned.
+ Java stack lock: unowned.
+ Code rewrite lock: unowned.
+ Heap Lock: unowned.
+ Has finalization queue lock: unowned.
+ Finalize me queue lock: unowned.
+ Integer lock access-lock: unowned.
+ Monitor cache lock: unowned.
+ Monitor registry: unowned.
+
+Object Monitor Status
+---------------------