Transfer final block to epilogue if it's not set
Epilogue block terminates explicitly
Labels have explicit fall-through to their block
out_ctrl_transfer() leaves the current block as NULL
Handle loopback block flushing