#include "../../random/RandomPool.h"

// Test the header can be included without needing additional dependencies