P0007r010
P0007r010