/* RMI interface to remote object  (stack)  */

import java.rmi.*;

public interface listint extends Remote
{
    public boolean empty() throws RemoteException;
    public int length() throws RemoteException;
    public void push(int x) throws RemoteException;
    public icell pop() throws RemoteException;

    public void change(listint l) throws RemoteException;

    /* accessor and modifier for internal variables: */
    public int gety() throws RemoteException;
    public void sety(int x) throws RemoteException;
   
    /* allows clients to dynamically create more remote objects: */
    public listint makenew(String name) throws RemoteException;
}