package Lto16_Pkg is

  function F return Float;

end Lto16_Pkg;