objfile_name       18 src/casl2.c    char *objfile_name(const char *str);
objfile_name      114 src/casl2.c                objfile = objfile_name(optarg);
objfile_name      118 src/casl2.c                objfile = objfile_name(optarg);