P0007r097
P0007r097