Writes a 32 bit int. @param v the integer value to be written
(int v)
source not stored for this graph (policy: none)
no test coverage detected