Mitrion-C 1.3;

// Options: -cpp

#define RAM_SIZE     131072
#define EXTRAM       mem bits:128[RAM_SIZE]
#define EXTRAM2      mem bits:128[RAM_SIZE]
//type EXTRAM = mem int:64 [0x1000000];

(EXTRAM, EXTRAM2) main(EXTRAM memA0, EXTRAM2 memB0)
{

	(MemA_DONE, MemB_DONE) = foreach (e in <0.. RAM_SIZE - 1>) {
		uint:32[4] a_el;
		(a_el, memA1) = _memread(memA0, e);

      
		int:32 a0 = a_el[0];
		int:32 a1 = a_el[1];
		int:32 a2 = a_el[2];
		int:32 a3 = a_el[3];

		int:64 b1 = a0 * a1;
		int:64 b2 = a2 * a3;
		bits:64[2] bb = [(bits:64) b1, (bits:64) b2]; 
		memB1 = _memwrite(memB0, e, bb);
      
	} (memA1, memB1);

}(MemA_DONE, MemB_DONE);