pub const ENCODE_U64: [[unsafe fn(_: *const u64, _: *mut u32); 4]; 65] = [[encode_u64_0_8, encode_u64_0_16, encode_u64_0_24, encode_u64_0_32],
[encode_u64_1_8, encode_u64_1_16, encode_u64_1_24, encode_u64_1_32],
[encode_u64_2_8, encode_u64_2_16, encode_u64_2_24, encode_u64_2_32],
[encode_u64_3_8, encode_u64_3_16, encode_u64_3_24, encode_u64_3_32],
[encode_u64_4_8, encode_u64_4_16, encode_u64_4_24, encode_u64_4_32],
[encode_u64_5_8, encode_u64_5_16, encode_u64_5_24, encode_u64_5_32],
[encode_u64_6_8, encode_u64_6_16, encode_u64_6_24, encode_u64_6_32],
[encode_u64_7_8, encode_u64_7_16, encode_u64_7_24, encode_u64_7_32],
[encode_u64_8_8, encode_u64_8_16, encode_u64_8_24, encode_u64_8_32],
[encode_u64_9_8, encode_u64_9_16, encode_u64_9_24, encode_u64_9_32],
[encode_u64_10_8, encode_u64_10_16, encode_u64_10_24, encode_u64_10_32],
[encode_u64_11_8, encode_u64_11_16, encode_u64_11_24, encode_u64_11_32],
[encode_u64_12_8, encode_u64_12_16, encode_u64_12_24, encode_u64_12_32],
[encode_u64_13_8, encode_u64_13_16, encode_u64_13_24, encode_u64_13_32],
[encode_u64_14_8, encode_u64_14_16, encode_u64_14_24, encode_u64_14_32],
[encode_u64_15_8, encode_u64_15_16, encode_u64_15_24, encode_u64_15_32],
[encode_u64_16_8, encode_u64_16_16, encode_u64_16_24, encode_u64_16_32],
[encode_u64_17_8, encode_u64_17_16, encode_u64_17_24, encode_u64_17_32],
[encode_u64_18_8, encode_u64_18_16, encode_u64_18_24, encode_u64_18_32],
[encode_u64_19_8, encode_u64_19_16, encode_u64_19_24, encode_u64_19_32],
[encode_u64_20_8, encode_u64_20_16, encode_u64_20_24, encode_u64_20_32],
[encode_u64_21_8, encode_u64_21_16, encode_u64_21_24, encode_u64_21_32],
[encode_u64_22_8, encode_u64_22_16, encode_u64_22_24, encode_u64_22_32],
[encode_u64_23_8, encode_u64_23_16, encode_u64_23_24, encode_u64_23_32],
[encode_u64_24_8, encode_u64_24_16, encode_u64_24_24, encode_u64_24_32],
[encode_u64_25_8, encode_u64_25_16, encode_u64_25_24, encode_u64_25_32],
[encode_u64_26_8, encode_u64_26_16, encode_u64_26_24, encode_u64_26_32],
[encode_u64_27_8, encode_u64_27_16, encode_u64_27_24, encode_u64_27_32],
[encode_u64_28_8, encode_u64_28_16, encode_u64_28_24, encode_u64_28_32],
[encode_u64_29_8, encode_u64_29_16, encode_u64_29_24, encode_u64_29_32],
[encode_u64_30_8, encode_u64_30_16, encode_u64_30_24, encode_u64_30_32],
[encode_u64_31_8, encode_u64_31_16, encode_u64_31_24, encode_u64_31_32],
[encode_u64_32_8, encode_u64_32_16, encode_u64_32_24, encode_u64_32_32],
[encode_u64_33_8, encode_u64_33_16, encode_u64_33_24, encode_u64_33_32],
[encode_u64_34_8, encode_u64_34_16, encode_u64_34_24, encode_u64_34_32],
[encode_u64_35_8, encode_u64_35_16, encode_u64_35_24, encode_u64_35_32],
[encode_u64_36_8, encode_u64_36_16, encode_u64_36_24, encode_u64_36_32],
[encode_u64_37_8, encode_u64_37_16, encode_u64_37_24, encode_u64_37_32],
[encode_u64_38_8, encode_u64_38_16, encode_u64_38_24, encode_u64_38_32],
[encode_u64_39_8, encode_u64_39_16, encode_u64_39_24, encode_u64_39_32],
[encode_u64_40_8, encode_u64_40_16, encode_u64_40_24, encode_u64_40_32],
[encode_u64_41_8, encode_u64_41_16, encode_u64_41_24, encode_u64_41_32],
[encode_u64_42_8, encode_u64_42_16, encode_u64_42_24, encode_u64_42_32],
[encode_u64_43_8, encode_u64_43_16, encode_u64_43_24, encode_u64_43_32],
[encode_u64_44_8, encode_u64_44_16, encode_u64_44_24, encode_u64_44_32],
[encode_u64_45_8, encode_u64_45_16, encode_u64_45_24, encode_u64_45_32],
[encode_u64_46_8, encode_u64_46_16, encode_u64_46_24, encode_u64_46_32],
[encode_u64_47_8, encode_u64_47_16, encode_u64_47_24, encode_u64_47_32],
[encode_u64_48_8, encode_u64_48_16, encode_u64_48_24, encode_u64_48_32],
[encode_u64_49_8, encode_u64_49_16, encode_u64_49_24, encode_u64_49_32],
[encode_u64_50_8, encode_u64_50_16, encode_u64_50_24, encode_u64_50_32],
[encode_u64_51_8, encode_u64_51_16, encode_u64_51_24, encode_u64_51_32],
[encode_u64_52_8, encode_u64_52_16, encode_u64_52_24, encode_u64_52_32],
[encode_u64_53_8, encode_u64_53_16, encode_u64_53_24, encode_u64_53_32],
[encode_u64_54_8, encode_u64_54_16, encode_u64_54_24, encode_u64_54_32],
[encode_u64_55_8, encode_u64_55_16, encode_u64_55_24, encode_u64_55_32],
[encode_u64_56_8, encode_u64_56_16, encode_u64_56_24, encode_u64_56_32],
[encode_u64_57_8, encode_u64_57_16, encode_u64_57_24, encode_u64_57_32],
[encode_u64_58_8, encode_u64_58_16, encode_u64_58_24, encode_u64_58_32],
[encode_u64_59_8, encode_u64_59_16, encode_u64_59_24, encode_u64_59_32],
[encode_u64_60_8, encode_u64_60_16, encode_u64_60_24, encode_u64_60_32],
[encode_u64_61_8, encode_u64_61_16, encode_u64_61_24, encode_u64_61_32],
[encode_u64_62_8, encode_u64_62_16, encode_u64_62_24, encode_u64_62_32],
[encode_u64_63_8, encode_u64_63_16, encode_u64_63_24, encode_u64_63_32],
[encode_u64_64_8, encode_u64_64_16, encode_u64_64_24, encode_u64_64_32]]