method searchTips =
    string_of_sv (call_method sv "searchTips" [])