end loop labels as LIFO queue and epilogue labels