P0007r087
P0007r087