{
    "modules": ["IceStorm"],
    "slice": ["IceStorm/IceStorm.ice", "IceStorm/Metrics.ice"]
}