#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