P0007r042
P0007r042