let print t = print_aux 0 t