/* C K O P C F . C -- Dummy module so we can link resources to it */

/*
  Author: Jeffrey 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.
*/

void dummy( void )
{
    /* this function does nothing */
}