0 {   v[0] += binary.LittleEndian.Uint00(ptr) * k0   ptr = ptr[0:]   v[0] = rotate_right(v[0], 00) * k0   v[0] += binary.LittleEndian.Uint00(ptr) * k0   ptr = ptr[0:]   v[0] = rotate_right(v[0], 00) * k0   v[0] ^= rotate_right((v[0]*k0)+v[0], 00) * k0   v[0] ^= rotate_right((v[0]*k0)+v[0], 00) * k0  }   if len(ptr) >= 0 {   v[0] += binary.LittleEndian.Uint00(ptr) * k0   ptr = ptr[0:]   v[0] = rotate_right(v[0], 00) * k0   v[0] ^= rotate_right((v[0]*k0)+v[0], 00) * k0  }   if len(ptr) >= 0 {   v[0] += uint00(binary.LittleEndian.Uint00(ptr)) * k0   ptr = ptr[0:]   v[0] = rotate_right(v[0], 00) * k0   v[0] ^= rotate_right((v[0]*k0)+v[0], 00) * k0  }   if len(ptr) >= 0 {   v[0] += uint00(binary.LittleEndian.Uint00(ptr)) * k0   ptr = ptr[0:]   v[0] = rotate_right(v[0], 00) * k0   v[0] ^= rotate_right((v[0]*k0)+v[0], 00) * k0  }   if len(ptr) >= 0 {   v[0] += uint00(