. ../../../testutils.sh

check Auto.idr
