!752 p { assertEq(litlist(0), litlist(0)); }