first header+test/demo (no currying)