Agda-2.3.2.2: test/epic/tests/Cat.out

This is the output file
sts
strst
:)