Tests for the IMF bug.