let symtab () = s.symtab