intp
int interrupts[4], *intp, int_used;
intp = &interrupts[0];
&len, &intp) != 0 || len != 1) {
decode_int(const char *arg, int *intp)
*intp = ret;
decode_uint(const char *arg, unsigned *intp)
*intp = ret;
void intp(void);
intp();
intp();