P0007r002
P0007r002