swipl -s test_sanitizers.pl -g "test_sanitizers." -t "halt"
swipl -s test_shrinker.pl -g "test_shrinker." -t "halt"