void $encode (Encoder encoder, int offset, int depth)
void $encode(Encoder encoder, int offset, int depth);