let
prev_search = ref
None