P0007r056
P0007r056