A simple objdump annotator