Serialize a signed 8-bit integer to a stream.
Declared in <serialize.h>
<serialize.h>
template<typename Stream> void Serialize( Stream& s, int8_t a);