/*
 * A general array - can be used to hold any type of object.
 */
class Array {

    // Constructs a new Array of the given size.
    function Array new(int size) {
    }

    // De-allocates the array and frees its space.
    method void dispose() {
    }
}