debugger: send source paths to int:i