The getopt application

Generated by EDoc, Dec 13 2023, 19:40:17.