revise the output's format refering to at&t assembly language