P0007r083
P0007r083