datatype.Pool: delete_if, delete_first, put