external fuzz inputs