#include <stdlib.h>
#include <stdio.h>
#include <stdint.h>


//#define RND(a, b, c, d, e, f, g, h, k)  \
//    h += Tr1(e);            \
//    h += Ch(e, f, g);       \
//    h += k;             \
//    d += h;             \
//    h += Tr2(a);            \
//   h += Maj(a, b, c);

//#define RND(a)  \

int main(int argc, char **argv){

char *bla[4] =
{
"ABCDEFGHK",
"HABCDEFGK",
"GHABCDEFK",
"FGHABCDEK"
};

int i;

for(i=0; i<4; i++){
    printf("%c += Tr1(%c);\n", bla[i][7], bla[i][4]);
    printf("%c += Ch(%c, %c, %c);\n", bla[i][7], bla[i][4], bla[i][5], bla[i][6]);
    printf("%c += %c;\n", bla[i][7], bla[i][8]);
    printf("%c += %c;\n", bla[i][3], bla[i][7]);
    printf("%c += Tr2(%c);\n", bla[i][7], bla[i][0]);
    printf("%c += Maj(%c, %c, %c);\n\n", bla[i][7], bla[i][0], bla[i][1], bla[i][2]);
}

	return 0;
}