* objdump.c (SFILE): Add size field.