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