return offset;
return newOff;
  public static synchronized Offset findOrCreateStringLiteral(VM_Atom literal) throws java.io.UTFDataFormatException {    Integer off = (Integer)stringLiterals.get(literal);    if (off != null) return Offset.fromIntSignExtend(off.intValue());    String stringValue = literal.toUnicodeString();    if (VM.runningVM) stringValue = stringValue.intern();    int newOff = allocateSlot(STRING_LITERAL);    stringLiterals.put(literal, new Integer(newOff));    Offset offset = Offset.fromIntSignExtend(newOff);    setSlotContents(offset, stringValue);    return offset;  }