Also creating Main.err on literal submissions