[posted] Posted(#52465, Hoare)