void ___dummy_symbol_for_glu(void)
{
	
}
