Re: problem with print_csrc and mul