P0007r048
P0007r048