This is rather incomprehensible without an explanatory comment. I understand what's happening here but only because I know that `extr_loop_close` emits the matching `}`.