#ifndef __options_h
#define __options_h
@extern void MENU_options (void);
@extern void draw_val_item (int x, int y, int spacing, string label, string valstr);
#endif//__options_r