1034
1035 end;
1036
1037 structure Basic_Library: BASIC_LIBRARY = Library;
1038 open Basic_Library;
1039