EL3HLT            348 src/syslib.c   #if defined(EL3HLT)
EL3HLT           3223 src/syslib.c   #if defined(EL3HLT)
EL3HLT           3225 src/syslib.c     Scm_DefineConst(module, SCM_SYMBOL(SCM_OBJ(syslib_EL3HLT__VAR)), SCM_OBJ(Scm_MakeInteger(EL3HLT)));