WriteExtraTaggedIntData  340 src/assembler.cc       WriteExtraTaggedIntData(id_delta, kCodeWithIdTag);
WriteExtraTaggedIntData  356 src/assembler.cc       WriteExtraTaggedIntData(pos_delta, pos_type_tag);
WriteExtraTaggedIntData  426 src/assembler.h   inline void WriteExtraTaggedIntData(int data_delta, int top_tag);