debugged interp_at_dept