binarylib_write_binary_uint64__NAME  452 ext/binary/binarylib.c static SCM_DEFINE_STRING_CONST(binarylib_write_binary_uint64__NAME, "write-binary-uint64", 19, 19);
binarylib_write_binary_uint64__NAME  453 ext/binary/binarylib.c static SCM_DEFINE_SUBR(binarylib_write_binary_uint64__STUB, 1, 1, SCM_OBJ(&binarylib_write_binary_uint64__NAME), binarylib_write_binary_uint64, NULL, NULL);