Reinstated input-spec-driven output