P_X_ULOOP(8, 3, {
  pd = ps1 >> sa;
})