P0007r076
P0007r076