/*  C K O V C . H  --  Header for Volker Craig VC4404/404 Emulation  */

/*
  Author: Jeffrey E Altman <jaltman@secure-endpoints.com>,
            Secure Endpoints Inc., New York City.

  Copyright (C) 1985, 2004, Trustees of Columbia University in the City of New
  York.
*/
_PROTOTYP( void vcascii, ( int ) ) ;