Symbol: GLUTtimer