<ais523> ` echo \'echo "$1" | as -c /dev/stdin -o temp.o; objdump -d temp.o | sed -e "1,/0000000000000000/d"\' >> bin/asm

import sys
print(sys.argv)