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