001package stdlib;
002/** A class with no instances; variables of this type must be null. */
003public class Void {
004        private Void() {}
005}
006