Constant ZMQ_HAUSNUMERO 

pub const ZMQ_HAUSNUMERO: u32 = 156384712;