Constant gpib_timeout_T10s 

pub const gpib_timeout_T10s: gpib_timeout = 13;