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

check --show-machine-names QuotingShadowed.idr
