Symtab.ml updated.