P0007r070
P0007r070