P0007r096
P0007r096