Generate code for default choices in options specifications.