P0007r052
P0007r052