Function write_int 

pub fn write_int(buf: &mut Vec<u8>, val: u32) -> Result<()>