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.