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

check Door.idr -p linear
