generic type Data_Type (<>) is private; package Quit is
type Data_Type (<>) is private;
type Quit_Function is access function (Data : Data_Type) return Boolean;
function Quit_Add