P0007r021
P0007r021