/usr/lib/ats2-postiats-0.2.6/prelude/CATS/ is in ats2-lang 0.2.6-2.
This file is owned by root:root, with mode 0o755.
..
/usr/lib/ats2-postiats-0.2.6/prelude/CATS/array.cats
/usr/lib/ats2-postiats-0.2.6/prelude/CATS/arrayptr.cats
/usr/lib/ats2-postiats-0.2.6/prelude/CATS/arrayref.cats
/usr/lib/ats2-postiats-0.2.6/prelude/CATS/basics.cats
/usr/lib/ats2-postiats-0.2.6/prelude/CATS/bool.cats
/usr/lib/ats2-postiats-0.2.6/prelude/CATS/char.cats
/usr/lib/ats2-postiats-0.2.6/prelude/CATS/filebas.cats
/usr/lib/ats2-postiats-0.2.6/prelude/CATS/float.cats
/usr/lib/ats2-postiats-0.2.6/prelude/CATS/fprintf.cats
/usr/lib/ats2-postiats-0.2.6/prelude/CATS/integer.cats
/usr/lib/ats2-postiats-0.2.6/prelude/CATS/integer_fixed.cats
/usr/lib/ats2-postiats-0.2.6/prelude/CATS/integer_ptr.cats
/usr/lib/ats2-postiats-0.2.6/prelude/CATS/list.cats
/usr/lib/ats2-postiats-0.2.6/prelude/CATS/matrix.cats
/usr/lib/ats2-postiats-0.2.6/prelude/CATS/matrixptr.cats
/usr/lib/ats2-postiats-0.2.6/prelude/CATS/memory.cats
/usr/lib/ats2-postiats-0.2.6/prelude/CATS/option.cats
/usr/lib/ats2-postiats-0.2.6/prelude/CATS/pointer.cats
/usr/lib/ats2-postiats-0.2.6/prelude/CATS/string.cats
/usr/lib/ats2-postiats-0.2.6/prelude/CATS/strptr.cats