unsigned long long pdep64(
  unsigned long long,
  unsigned long long);