no explicit types in FUZI_INPUT_