void ___dummy_symbol_for_glu(void) { }