style formatted and stub symbol table extended