P0007r032
P0007r032