binarylib_read_binary_double__STUB  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);
binarylib_read_binary_double__STUB  744 ext/binary/binarylib.c   SCM_DEFINE(module, "read-binary-double", SCM_OBJ(&binarylib_read_binary_double__STUB));