extern const char *int_cmds[];
extern const char *int_ops[];

extern const int int_cmd_size;
extern const int int_ops_size;