binarylib_write_binary_double__NAME  736 ext/binary/binarylib.c static SCM_DEFINE_STRING_CONST(binarylib_write_binary_double__NAME, "write-binary-double", 19, 19);
binarylib_write_binary_double__NAME  737 ext/binary/binarylib.c static SCM_DEFINE_SUBR(binarylib_write_binary_double__STUB, 1, 1, SCM_OBJ(&binarylib_write_binary_double__NAME), binarylib_write_binary_double, NULL, NULL);