private int handleStringConstant(int pos, String operand) {
    char c = operand.charAt(0);
    int num = 0;
    if (c == '"') { // What is the stuffing method here?
      for (int i = 1, n = operand.length(); i < n; i++) {
	c = operand.charAt(i);
	if (c != '"') {
	  memory[pos] = c;
	  pos++;
	  num++;
	}
      }
    } else if (c == '\'') {
      boolean stuffed = false;
      for (int i = 1, n = operand.length(); i < n; i++) {
	c = operand.charAt(i);
	if (c != '\'' || stuffed) {
	  memory[pos] = c;
	  pos++;
	  num++;
	  stuffed = false;
	} else {
	  stuffed = true;
	}
      }
    }
    return num;
  }