set max-specpdl-size to 34000