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);
void begin_function_body(Id);
void end_function_body();
void finalize(unsigned, Id);
void begin_function_body(Id);
void end_function_body();
void finalize(unsigned, Id);