P0007r005
P0007r005