P_MUL_CROSS_LOOP(16, {
  pd = ps1 * ps2;
})