Still doesn't work quite right, though. cobst isn't getting the base symbols from the generated files. Working on it....