Seen in the book, "for loops are more expressed as copying a circuit based on the number of loops." Then I have a problem now. The number of for loops is an input type parameter (the bit width is known, the specific amount is determined by the input). Can this be synthesized?