Try to add a test in the aux library