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

public interface DiscoDuro {

 public void almacena();

} //End of class DiscoDuro