#include "flash.h"
miracl          precision(1000, 10);