#!/bin/sh
objdump --arch=x86_64 $*