header_pool_repairs