Agda-2.3.2.2: test/epic/tests/String.out
To boldly go where no man gone before To boldly go where no man gone before To boldly go where no man gone before
To boldly go where no man gone before To boldly go where no man gone before To boldly go where no man gone before