IceBox.cs:
