//This file generated automatically from the MARIUS LP system, please do not edit.

public class SistemaArchivos {

  public void leer(Programa pr) { System.out.println("Leyendo de disco "+pr.codigo()); }

} //End of class SistemaArchivos