Copyright Digital Equipment Corp. All rights reserved.

Return_Values

   x                  The push-back character.
   EOF                Indicates it cannot push the character back.