Awk Survey

This poll is to gather data about how to implement file inclusion in gawk. Please answer it only once. The maintainer will make the final decision.
What keyword should be used?	@include @sourcefile @use #use
Should the include mechanism allow more than one filename per line?	Yes No
What happens when the same file is included more than once?	Fatal error Silently ignored (+ lint warning) Include anyway and cause parse errors
Allow nested includes?	Yes No
Search $AWKPATH?	Yes No
If not found, append .awk to the filename and retry?	Yes No