package PackageEmptyNoTail;
endpackage