P0007r080
P0007r080