removed fuzz testing: simply too much work