Continued work on fixing f5_pool{}.