let hint_context = ref None