percentage of such immigration judge’s basic pay for such period as allowable under section 8440f of title 5, United States Code. Basic pay does not include any retired pay paid pursuant to this section. (B) Contributions for benefit of immigration judge No contributions may be made for the benefit of an immigration judge under section 8432(c) of title 5, United States Code. (C) Applicability of section 8433(b) of title 5 whether or not immigration judge retires Section 8433(b) of title 5, United States Code, applies with respect to an immigration judge who makes an election under paragraph (1) and who either— (i) retires under subsection (g), or (ii) ceases to serve as an immigration judge but does not retire under subsection (g). Retirement under subsection (b) is a separation from service for purposes of subchapters III and VII of chapter 84 of that title. (D) Applicability of section 8351(b)(5) of title 5 The provisions of section 8351(b)(5) of title 5, United States Code, shall apply with respect to an immigration judge who makes an election under paragraph (1). (E) Exception Notwithstanding subparagraph (C), if any immigration judge retires under this section, or resigns without having met the age and service requirements set forth under subsection (g)(2), and such immigration judge’s nonforfeitable account balance is less than an amount that the Executive Director of the Federal Retirement Thrift Investment Board prescribes by regulation, the Executive Director shall pay the nonforfeitable account balance to the participant in a single payment. 603. Temporary immigration judges and court facilities (a) In general Subject to subsection (c), if the administrative council determines, based on specific and credible facts, that the current resources of the Immigration Courts are insufficient for the expeditious and effective administration of justice, the appellate division may exercise its authority en banc to— (1) appoint temporary immigration trial judges, which appointment shall be undertaken in a manner