Use the more conventional name “pool”.