translate between assembly code snippet and machine code under linux using objdump and as