go test fuzz v1
string("print(string.format(\"% 00X0\",0))")
