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

check WithFC.idr
