P0007r012
P0007r012