void write_op_member_decorate(Id, unsigned, Decoration);
void write_op_member_decorate(Id, unsigned, Decoration, Word);
void write_op_label(Id);
void write_op_member_decorate(Id, unsigned, Decoration);
void write_op_member_decorate(Id, unsigned, Decoration, Word);
void write_op_label(Id);