P0007r016
P0007r016