../locking_indexer.hal