P0007r077
P0007r077