go test fuzz v1
string("print(string.format(\"[% .0d]\",0))")
