let
compl s = compl_aux min_int max_int s