void assignRedrawCallback( void ( *callback) ( void)); void issueRedraw(); void consume_redraws();