static LOCAL_KEY: LocalKey<SearchPath>