P0007r051
P0007r051