public void fullFrame(
     int pos,
     int offsetDelta,
     int[] localTags,
     int[] localData,
     int[] stackTags,
     int[] stackData) {
   writer.fullFrame(
       offsetDelta,
       localTags,
       copyData(localTags, localData),
       stackTags,
       copyData(stackTags, stackData));
 }