P0007r050
P0007r050