*<Null safety>*
void $encode (Encoder encoder, int offset)
void $encode(Encoder encoder, int offset);