[fuzz]
runs = 10000