ifc ballast bed