Of course not. They would turn to the EFSF first.

The IMF also says that Ireland will cut budgets by EUR 15 bln over the 2011/2015 period.