With syntax for function generation