$current_hovered_element: untyped