public interface Rollable
{
    public void roll();
    // post: re-select the upward-pointing face of the object

    public int value();
    // post: return the current value of the object
}