let name_of_hint_assertion = "hint"