Reads a 32 bit int. @return the 32 bit integer read.
()
source not stored for this graph (policy: none)
no test coverage detected