pub type HTTP_SERVER_PROPERTY = i32;