constr True 0; constr False 0; constr Nil 0; constr Cons 2; constr Pair 2; main = Cons (staticJavaCall 0 "hell.GetMore.getInt") (Cons (staticJavaCall 0 "hell.GetMore.getBool") (Cons (staticJavaCall 0 "hell.GetMore.getPair") (Cons (staticJavaCall 0 "hell.GetMore.getInts") (Cons (staticJavaCall 0 "hell.GetMore.getObject") (Nil)))))