P0007r004
P0007r004