binarylib_read_binary_uint64__NAME  172 ext/binary/binarylib.c static SCM_DEFINE_STRING_CONST(binarylib_read_binary_uint64__NAME, "read-binary-uint64", 18, 18);
binarylib_read_binary_uint64__NAME  173 ext/binary/binarylib.c static SCM_DEFINE_SUBR(binarylib_read_binary_uint64__STUB, 0, 1, SCM_OBJ(&binarylib_read_binary_uint64__NAME), binarylib_read_binary_uint64, NULL, NULL);