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

check IAlternativePrints.idr
