{% if arg.header %}
{{ arg.header }}
{% endif %}
{# Note: Argument.choices may run code to determine resp. values; running these only once via 'with' variables does speed things up. #}
{% with id=token|add:"-"|add:arg.identity choices=arg.choices strdefault=arg.strdefault %}
{% if arg.HTML_TYPE == "text" or arg.HTML_TYPE == "url" or arg.HTML_TYPE == "number" %}
{% if choices %}
{% endif %}
{% if arg.strgiven %}
{% endif %}
{% if strdefault %}
{% endif %}
{% elif arg.HTML_TYPE == "select" %}
{% elif arg.HTML_TYPE == "checkbox" %}
{% elif arg.HTML_TYPE == "textarea" %}
{% else %}
{{ arg.identity }}: Internal error: Unknown argument type {{ arg.HTML_TYPE }}.
{% endif %}
{% if verbose %}{{ arg.doc }}{% endif %}{% endwith %}