setup-hs
no-rtsopts
