stdlib__25cosh__NAME 1002 src/stdlib.c   static SCM_DEFINE_STRING_CONST(stdlib__25cosh__NAME, "%cosh", 5, 5);
stdlib__25cosh__NAME 1003 src/stdlib.c   static SCM_DEFINE_SUBR(stdlib__25cosh__STUB, 1, 0, SCM_OBJ(&stdlib__25cosh__NAME), stdlib__25cosh, NULL, NULL);