P0007r072
P0007r072