P0007r046
P0007r046