P0007r085
P0007r085