sym-files and sym-args can be given in a user-friendly way

putting num_choices here makes it a field of the class, i'd inline it or declare it outside the class