P0007r088
P0007r088