Constant D4_MARK_VARS_IN_CIRCUIT 

pub const D4_MARK_VARS_IN_CIRCUIT: &str = "d4_mark_vars_in_circuit";