Out-of-order program control flow - branching