/usr/lib/ats2-postiats-0.2.9/prelude/SATS/ is in ats2-lang 0.2.9-1.
This file is owned by root:root, with mode 0o755.
..
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/arith_prf.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/array.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/array_prf.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/arrayptr.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/arrayref.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/bool.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/char.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/checkast.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/extern.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/fcontainer.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/filebas.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/float.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/giterator.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/gnumber.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/gorder.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/gprint.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/grandom.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/integer.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/integer_fixed.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/integer_ptr.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/intrange.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/list.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/list_vt.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/matrix.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/matrixptr.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/matrixref.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/memory.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/option.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/option_vt.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/parray.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/pointer.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/reference.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/stream.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/stream_vt.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/string.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/strptr.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/tostring.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/tuple.sats
/usr/lib/ats2-postiats-0.2.9/prelude/SATS/unsafe.sats