DEFINITION MODULE FLib;
PROCEDURE Fib(n : INTEGER) : INTEGER;
END FLib.