P0007r090
P0007r090