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