P0007r022
P0007r022