[posted] Posted(#52767, Hoare)