binarylib_read_binary_double__NAME  664 ext/binary/binarylib.c static SCM_DEFINE_STRING_CONST(binarylib_read_binary_double__NAME, "read-binary-double", 18, 18);
binarylib_read_binary_double__NAME  665 ext/binary/binarylib.c static SCM_DEFINE_SUBR(binarylib_read_binary_double__STUB, 0, 1, SCM_OBJ(&binarylib_read_binary_double__NAME), binarylib_read_binary_double, NULL, NULL);