P0007r081
P0007r081