let predop f a b = p_call f [wrap a;wrap b]