Holders of Greek debt maturing now are repaid courtesy of the €110 billion bailout program, and holders of Irish bank bonds have been given a guarantee by the Irish government, whose promises have in turn been underwritten by the EFSF. The EFSF will also provide funds to ensure that Irish banks’ depositors can get their money back today.