P0007r007
P0007r007