I copied prelude.ncc and only kept the definitions needed by ismain.
Or maybe there is a way to import the prelude?