void aw_printlabel(int);
void aw_printopcode(uint16_t, uint16_t, uint16_t, uint16_t, uint16_t, int);
void intel_printlabel(int);
void intel_printopcode(uint16_t, uint16_t, uint16_t, uint16_t, uint16_t, int);
void att_printlabel(int);
void att_printopcode(uint16_t, uint16_t, uint16_t, uint16_t, uint16_t, int);