/*
  choices.h
  ---------
  7/2/24
*/

#ifndef choices_h
#define choices_h

int choices_read(syn_t *s, const char *filename);
int choices_write(syn_t *s, const char *filename);

extern const char choices_file[];

#endif
