Sophie
import java.io.*; import bigloo.*; //import main; public interface Intf { public int abstract_method(); }