Moving INCHASH and DECHASH to Sigma, fixing output.