Pushing debug prining -> insert_aux?