Read symbol table (what to do about blank symbols though?)