pub fn tracked_exec_borrow<A, 'a>(_a: &'a A) -> &'a Tracked<A>