Static libauthenticator::HOTP_DEFAULT_COUNTER

pub static HOTP_DEFAULT_COUNTER: u32