import java.rmi.*;
public interface MyRemote extends Remote {
    public int add_one(int x) throws RemoteException;
    public String stringify_an_int(int y) throws RemoteException;
}