Branching would be something like:

  case JMP: {
    ip = program[ip + 1] - 1;
    break;
  }