Thanks for the insightful reply. I agree that code does look very imperative. Likely due to goal of C synthesis as you said.