P0007r006
P0007r006