module Rec1 where -- infinite recursion on caf main = main;