let is_interp = P.is_interp