tct-trs: Stack space overflow: current size 33624 bytes.
tct-trs: Use `+RTS -Ksize -RTS' to increase it.