interpreted system with/without branching