sub print_rec {