} 
static void CanvasUpdateInterval(void){    static double lasttime;    double t;    if(CanvasGetMode() == CANVAS_MODE_MAP)    {	t = get_current_calender_time();	if(t - lasttime > 0.05)	{	    CanvasReadPanelInfo(0);	    CanvasUpdate(0);	    CanvasPaint();	    lasttime = t;	}    }}
4357	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4357/5b077a532298b780cf020ea927fc6e1f07c9e7c4/w32g_c.c/buggy/interface/w32g_c.c