definitions weitek←ieee(pascal�sic*); forward;

program weitek←ieee←impl𡤊(pascal�sic, pascal←novice𡤏iles, weitek←ieee); forward;

program weitek←ieee←impl𡤋(pascal�sic, weitek←ieee); forward;

begin

weitek←ieee, weitek←ieee←impl𡤊 := Halt, Xor, Zero, Pluszero, Minuszero, Issignificandzero, Iszero, Isnormalzero, Isinfinity, Isnan, Istrappingnan, Isfinite, Issame, Isunnormalized, Isdenormalized, Isnormalized, SetDivbyzero, SetInvalid, SetOverflow, SetUnderflow, SetInexact, UpdateFlags, Gettrappingnan, Getnontrappingnan, Getnan, Selectnan, Plusinf, Flmo, Oneoperandcase, Twooperandcase, Shftl, Shftr, Examine, Roundnum, CheckUnderAndRound, CheckInvAndOv, Addsignificands, Addoperands, Multsignificands, Dividesignificands, Pack, Packs, Packd, Packe, Unpack, Unpacks, Unpackd, Unpacke, Add, Subtract, Multiply, Divide, Remainder;

weitek←ieee, weitek←ieee←impl𡤋 := $rest$;

end) := weitek.pas;