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

check record.idr
