op_switch function

Apply exactly one of the branches given by index.