syslib_EL2HLT__VAR__NAME  341 src/syslib.c   static SCM_DEFINE_STRING_CONST(syslib_EL2HLT__VAR__NAME, "EL2HLT", 6, 6);
syslib_EL2HLT__VAR__NAME 3232 src/syslib.c     syslib_EL2HLT__VAR = Scm_Intern(&syslib_EL2HLT__VAR__NAME);