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

public interface LoQueQuiero {

 public void f();

} //End of class LoQueQuiero
