strengthen lifetime logic: make lft_userN disjoint from lftN so it remains available during atomic accessors