with Checkbook;
package Storage is

    procedure Read (Db : in out Checkbook.Database; Filename : String);

    procedure Write (Db : Checkbook.Database; Filename : String);
end Storage;