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

public interface AutoIF {

public void correr(); 

} //End of class AutoIF