[posted] Posted(#52441, Hoare)