branching: more instructions