exception at "Rec1.main":
  infinite value recursion at Rec1.main.