add_char
static inline void add_char(inst_buffer * ib, char c);
add_char(ib, '\t');
add_char(ib, ',');
add_char(ib, ' ');
add_char(ib, '\0');
add_char(ib, '\0');
add_char(ib, LITERAL);
add_char(ib, '(');
add_char(ib, ')');
add_char(ib, '-');
add_char(ib, '(');
add_char(ib, ')');
add_char(ib, DEFERRED);
add_char(ib, LITERAL);
add_char(ib, '(');
add_char(ib, ')');
add_char(ib, '+');
add_char(ib, DEFERRED);
add_char(ib, '(');
add_char(ib, ')');
add_char(ib, DEFERRED);
add_char(ib, '(');
add_char(ib, ')');
add_char(ib, DEFERRED);
add_char(ib, '(');
add_char(ib, ')');
add_char(ib, '+');