let
refresh_status () = !refresh_status_callback ()