generate label after return instructions