additional encoding/writing methods for the instruction encoder