out.println("//----------------------------------------------------"); out.println(); emit_package(out);
out.println("//----------------------------------------------------"); out.println(); emit_package(out);
out.println("//----------------------------------------------------"); out.println(); emit_package(out);
out.println("//----------------------------------------------------"); out.println(); emit_package(out);
out.println("//----------------------------------------------------"); out.println(); emit_package(out);
out.println("//----------------------------------------------------"); out.println(); emit_package(out);
out.println("//----------------------------------------------------"); out.println(); emit_package(out);
out.println("//----------------------------------------------------"); out.println(); emit_package(out);
out.println("//----------------------------------------------------"); out.println(); emit_package(out);
out.println("//----------------------------------------------------"); out.println(); emit_package(out);
out.println("//----------------------------------------------------"); out.println(); emit_package(out);
out.println("//----------------------------------------------------"); out.println(); emit_package(out);