let update () = Display.update !-internal_display