MODULE useafai;
FROM Terminal IMPORT WriteString, WriteLn;
FROM RealInOut IMPORT ReadReal, WriteReal;
FROM afai IMPORT sqrt, log, recip;
VAR x: REAL;
BEGIN
WriteString(' Square root test, Enter number> ');
ReadReal(x); WriteLn;
WriteReal(sqrt(x),12); WriteLn;
WriteString(' Log test, Enter number> ');
ReadReal(x); WriteLn;
WriteReal(log(x),12); WriteLn;
WriteString(' Reciprocal test, Enter number> ');
ReadReal(x); WriteLn;
WriteReal(recip(x),12); WriteLn;
END useafai.