P0007r020
P0007r020