pub type vartag_external = c_uint;