Function utctime_value 

pub exec fn utctime_value(bytes: &[u8]) -> Option<UtcTime>

requires

utc_time_lexical_wf::<false>(bytes@),

returns

utc_time_value(bytes@),

Verified executable implementation of utc_time_value.