#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