Would it be possible to create a programming language that allows you to write branching programs, but is guaranteed to compile it into branchless code?