/* $Id$
 */
int dummy_os_var;