PULL64
#ifndef PULL64
T = PULL64(W[i]);
T1 = X[i] = PULL64(W[i]);
T1 = X[0] = PULL64(W[0]);
T1 = X[1] = PULL64(W[1]);
T1 = X[2] = PULL64(W[2]);
T1 = X[3] = PULL64(W[3]);
T1 = X[4] = PULL64(W[4]);
T1 = X[5] = PULL64(W[5]);
T1 = X[6] = PULL64(W[6]);
T1 = X[7] = PULL64(W[7]);
T1 = X[8] = PULL64(W[8]);
T1 = X[9] = PULL64(W[9]);
T1 = X[10] = PULL64(W[10]);
T1 = X[11] = PULL64(W[11]);
T1 = X[12] = PULL64(W[12]);
T1 = X[13] = PULL64(W[13]);
T1 = X[14] = PULL64(W[14]);
T1 = X[15] = PULL64(W[15]);