private int FPOffset2SPOffset(int fpOffset){
  return frameSize + fpOffset - WORDSIZE;
}

private int FPOffset2SPOffset ( int fpOffset ) { return frameSize + fpOffset - WORDSIZE ; }
precondition : the final framesize is calculated before calling this routine .
