#ifndef WH_OPTIONS_H_d52cc1e6_
#define WH_OPTIONS_H_d52cc1e6_

/*
 * APIs exported by options.c.
 */

/*
 * Invoke the change-options menu/interface.
 */
extern void options(void);

#endif