/lively4-stephelm/src/external/lively4-search/shared