Constant AVRF_ENUM_RESOURCES_FLAGS_DONT_RESOLVE_TRACES 

pub const AVRF_ENUM_RESOURCES_FLAGS_DONT_RESOLVE_TRACES: VERIFIER_ENUM_RESOURCE_FLAGS;