P0007r009
P0007r009