Started using the extended symbol table API