Function utc_offset_valid 

pub exec fn utc_offset_valid(bytes: &[u8], pos: usize) -> bool

requires

pos + 5 == bytes.len(),

returns

utc_offset_wf(bytes@, pos),

Verified executable implementation of utc_offset_wf.