options.awk 31.5 KB