AND64H
tmp[0] = AND64H(product[11]); //a23|| 0
tmp[1] = AND64H(product[10]); //a21|| 0
tmp[1] = AND64H(product[11]); //a23|| 0