get_integer
get_integer(ctx, KRB5_CONF_CLOCKSKEW, DEFAULT_CLOCKSKEW, &tmp);
get_integer(ctx, KRB5_CONF_KDC_DEFAULT_OPTIONS, KDC_OPT_RENEWABLE_OK,
get_integer(ctx, KRB5_CONF_KDC_TIMESYNC, DEFAULT_KDC_TIMESYNC, &tmp);
get_integer(ctx, KRB5_CONF_CCACHE_TYPE, DEFAULT_CCACHE_TYPE, &tmp);
modem.duration = get_integer();
params.max_errors = get_integer();
params.duration = get_integer();
sel = get_integer();
pattern_interval = get_integer();
interval = get_integer();
cursor_radius = get_integer();
cursor_interval = get_integer();
button_interval = get_integer();
pattern_interval = get_integer();
uaddr.vid = get_integer() & 0xFFFF;
uaddr.pid = get_integer() & 0xFFFF;
duration = get_integer();
extern int get_integer(void);