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

public class Auto implements AutoIF {

public void correr() { System.out.println("C"); }     

} //End of class Auto