core_num__u64__rotate_left
return core_num__u64__rotate_left(x, (uint32_t)1);
return core_num__u64__rotate_left(x, (uint32_t)36);
return core_num__u64__rotate_left(x, (uint32_t)3);
return core_num__u64__rotate_left(x, (uint32_t)41);
return core_num__u64__rotate_left(x, (uint32_t)18);
return core_num__u64__rotate_left(x, (uint32_t)44);
return core_num__u64__rotate_left(x, (uint32_t)10);
return core_num__u64__rotate_left(x, (uint32_t)45);
return core_num__u64__rotate_left(x, (uint32_t)2);
return core_num__u64__rotate_left(x, (uint32_t)62);
return core_num__u64__rotate_left(x, (uint32_t)6);
return core_num__u64__rotate_left(x, (uint32_t)43);
return core_num__u64__rotate_left(x, (uint32_t)15);
return core_num__u64__rotate_left(x, (uint32_t)61);
return core_num__u64__rotate_left(x, (uint32_t)28);
return core_num__u64__rotate_left(x, (uint32_t)55);
return core_num__u64__rotate_left(x, (uint32_t)25);
return core_num__u64__rotate_left(x, (uint32_t)21);
return core_num__u64__rotate_left(x, (uint32_t)56);
return core_num__u64__rotate_left(x, (uint32_t)27);
return core_num__u64__rotate_left(x, (uint32_t)20);
return core_num__u64__rotate_left(x, (uint32_t)39);
return core_num__u64__rotate_left(x, (uint32_t)8);
return core_num__u64__rotate_left(x, (uint32_t)14);
static inline uint64_t core_num__u64__rotate_left(uint64_t x0, uint32_t x1);