[package] summary = "Crunchy unroller: deterministically unroll constant loops"