CertiVox/MIRACL — pull request #1 by jkhoury (2013-03-05 19:40:38+00:00)
Title: randn4 was not visible causing compile error (not sure why the lines wer...

...e commented out)