Towards Efficient Control Flow