EDU_FACTORIAL_REG
EduWriteRegister(EDU_FACTORIAL_REG, value);
uint32 factorial = EduReadRegister(EDU_FACTORIAL_REG);