#include <stdint.h>

/*
h = f
*/

void fe_copy(int32_t h[10], int32_t f[10]) {
	int32_t f0 = f[0];
	int32_t f1 = f[1];
	int32_t f2 = f[2];
	int32_t f3 = f[3];
	int32_t f4 = f[4];
	int32_t f5 = f[5];
	int32_t f6 = f[6];
	int32_t f7 = f[7];
	int32_t f8 = f[8];
	int32_t f9 = f[9];
	h[0] = f0;
	h[1] = f1;
	h[2] = f2;
	h[3] = f3;
	h[4] = f4;
	h[5] = f5;
	h[6] = f6;
	h[7] = f7;
	h[8] = f8;
	h[9] = f9;
}