[]
Should write the int value of v (i.e., the 32 bits) to the output. Prior to writing, the output should be realigned at the byte level.
void writeInt(int v)
The value to write to the output