/*
 * Give a path to a simul_efun file. Observe that it is a string returned,
 * not an object. But the object has to be loaded here. Return 0 if this
 * feature isn't wanted.
 */
string  get_simul_efun()
{
    string  fname;

    fname = "/secure/simul_efun";
    if( catch( call_other( fname, "??" ) ) )
    {
	write( "Failed to load " + fname + "\n" );
	shutdown();
	return 0;
    }
    return fname;
}				/* get_simul_efun() */