[posted] Posted(#52757, Hoare)