Constant EMPLOYEE_NUMBER 

pub const EMPLOYEE_NUMBER: ObjectIdentifier;