P0007r017
P0007r017