auxIn is debugged